0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.11 c #variables 5508 #constraints 5672
33.90/34.03 c #Conflicts: 1000 | #Constraints: 6671
33.90/34.03 c #Conflicts: 2000 | #Constraints: 7671
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 3000 | #Constraints: 7355
33.90/34.03 c #Conflicts: 4000 | #Constraints: 8355
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 5000 | #Constraints: 7808
33.90/34.03 c #Conflicts: 6000 | #Constraints: 8808
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 7000 | #Constraints: 7855
33.90/34.03 c #Conflicts: 8000 | #Constraints: 8855
33.90/34.03 c #Conflicts: 9000 | #Constraints: 9855
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 10000 | #Constraints: 8573
33.90/34.03 c #Conflicts: 11000 | #Constraints: 9573
33.90/34.03 c #Conflicts: 12000 | #Constraints: 10573
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 13000 | #Constraints: 9059
33.90/34.03 c #Conflicts: 14000 | #Constraints: 10059
33.90/34.03 c #Conflicts: 15000 | #Constraints: 11059
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 16000 | #Constraints: 9331
33.90/34.03 c #Conflicts: 17000 | #Constraints: 10331
33.90/34.03 c #Conflicts: 18000 | #Constraints: 11331
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 19000 | #Constraints: 9373
33.90/34.03 c #Conflicts: 20000 | #Constraints: 10373
33.90/34.03 c #Conflicts: 21000 | #Constraints: 11373
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 22000 | #Constraints: 9175
33.90/34.03 c #Conflicts: 23000 | #Constraints: 10175
33.90/34.03 c #Conflicts: 24000 | #Constraints: 11175
33.90/34.03 c #Conflicts: 25000 | #Constraints: 12175
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 26000 | #Constraints: 9803
33.90/34.03 c #Conflicts: 27000 | #Constraints: 10803
33.90/34.03 c #Conflicts: 28000 | #Constraints: 11803
33.90/34.03 c #Conflicts: 29000 | #Constraints: 12803
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 30000 | #Constraints: 10205
33.90/34.03 c #Conflicts: 31000 | #Constraints: 11205
33.90/34.03 c #Conflicts: 32000 | #Constraints: 12205
33.90/34.03 c #Conflicts: 33000 | #Constraints: 13205
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 34000 | #Constraints: 10420
33.90/34.03 c #Conflicts: 35000 | #Constraints: 11420
33.90/34.03 c #Conflicts: 36000 | #Constraints: 12420
33.90/34.03 c #Conflicts: 37000 | #Constraints: 13420
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 38000 | #Constraints: 10388
33.90/34.03 c #Conflicts: 39000 | #Constraints: 11388
33.90/34.03 c #Conflicts: 40000 | #Constraints: 12388
33.90/34.03 c #Conflicts: 41000 | #Constraints: 13388
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 42000 | #Constraints: 10211
33.90/34.03 c #Conflicts: 43000 | #Constraints: 11211
33.90/34.03 c #Conflicts: 44000 | #Constraints: 12211
33.90/34.03 c #Conflicts: 45000 | #Constraints: 13211
33.90/34.03 c #Conflicts: 46000 | #Constraints: 14211
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c #Conflicts: 47000 | #Constraints: 10826
33.90/34.03 c #Conflicts: 48000 | #Constraints: 11826
33.90/34.03 c #Conflicts: 49000 | #Constraints: 12826
33.90/34.03 c #Conflicts: 50000 | #Constraints: 13826
33.90/34.03 c #Conflicts: 51000 | #Constraints: 14826
33.90/34.03 c INPROCESSING
33.90/34.03 c GARBAGE COLLECT
33.90/34.03 c rational objective 81
82.77/83.01 c #Conflicts: 52000 | #Constraints: 11239
82.77/83.01 c #Conflicts: 53000 | #Constraints: 12239
82.77/83.01 c #Conflicts: 54000 | #Constraints: 13239
82.77/83.01 c #Conflicts: 55000 | #Constraints: 14239
82.77/83.01 c #Conflicts: 56000 | #Constraints: 15239
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 57000 | #Constraints: 11463
82.77/83.01 c #Conflicts: 58000 | #Constraints: 12463
82.77/83.01 c #Conflicts: 59000 | #Constraints: 13463
82.77/83.01 c #Conflicts: 60000 | #Constraints: 14463
82.77/83.01 c #Conflicts: 61000 | #Constraints: 15463
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 62000 | #Constraints: 11454
82.77/83.01 c #Conflicts: 63000 | #Constraints: 12454
82.77/83.01 c #Conflicts: 64000 | #Constraints: 13454
82.77/83.01 c #Conflicts: 65000 | #Constraints: 14454
82.77/83.01 c #Conflicts: 66000 | #Constraints: 15454
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 67000 | #Constraints: 11251
82.77/83.01 c #Conflicts: 68000 | #Constraints: 12251
82.77/83.01 c #Conflicts: 69000 | #Constraints: 13251
82.77/83.01 c #Conflicts: 70000 | #Constraints: 14251
82.77/83.01 c #Conflicts: 71000 | #Constraints: 15251
82.77/83.01 c #Conflicts: 72000 | #Constraints: 16251
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 73000 | #Constraints: 11851
82.77/83.01 c #Conflicts: 74000 | #Constraints: 12851
82.77/83.01 c #Conflicts: 75000 | #Constraints: 13851
82.77/83.01 c #Conflicts: 76000 | #Constraints: 14851
82.77/83.01 c #Conflicts: 77000 | #Constraints: 15851
82.77/83.01 c #Conflicts: 78000 | #Constraints: 16851
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 79000 | #Constraints: 12292
82.77/83.01 c #Conflicts: 80000 | #Constraints: 13292
82.77/83.01 c #Conflicts: 81000 | #Constraints: 14292
82.77/83.01 c #Conflicts: 82000 | #Constraints: 15292
82.77/83.01 c #Conflicts: 83000 | #Constraints: 16292
82.77/83.01 c #Conflicts: 84000 | #Constraints: 17292
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 85000 | #Constraints: 12490
82.77/83.01 c #Conflicts: 86000 | #Constraints: 13490
82.77/83.01 c #Conflicts: 87000 | #Constraints: 14490
82.77/83.01 c #Conflicts: 88000 | #Constraints: 15490
82.77/83.01 c #Conflicts: 89000 | #Constraints: 16490
82.77/83.01 c #Conflicts: 90000 | #Constraints: 17490
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 91000 | #Constraints: 12496
82.77/83.01 c #Conflicts: 92000 | #Constraints: 13496
82.77/83.01 c #Conflicts: 93000 | #Constraints: 14496
82.77/83.01 c #Conflicts: 94000 | #Constraints: 15496
82.77/83.01 c #Conflicts: 95000 | #Constraints: 16496
82.77/83.01 c #Conflicts: 96000 | #Constraints: 17496
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 97000 | #Constraints: 12311
82.77/83.01 c #Conflicts: 98000 | #Constraints: 13311
82.77/83.01 c #Conflicts: 99000 | #Constraints: 14311
82.77/83.01 c #Conflicts: 100000 | #Constraints: 15311
82.77/83.01 c #Conflicts: 101000 | #Constraints: 16312
82.77/83.01 c #Conflicts: 102000 | #Constraints: 17312
82.77/83.01 c #Conflicts: 103000 | #Constraints: 18312
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 104000 | #Constraints: 12926
82.77/83.01 c #Conflicts: 105000 | #Constraints: 13926
82.77/83.01 c #Conflicts: 106000 | #Constraints: 14926
82.77/83.01 c #Conflicts: 107000 | #Constraints: 15926
82.77/83.01 c #Conflicts: 108000 | #Constraints: 16926
82.77/83.01 c #Conflicts: 109000 | #Constraints: 17926
82.77/83.01 c #Conflicts: 110000 | #Constraints: 18926
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 111000 | #Constraints: 13339
82.77/83.01 c #Conflicts: 112000 | #Constraints: 14339
82.77/83.01 c #Conflicts: 113000 | #Constraints: 15339
82.77/83.01 c #Conflicts: 114000 | #Constraints: 16339
82.77/83.01 c #Conflicts: 115000 | #Constraints: 17339
82.77/83.01 c #Conflicts: 116000 | #Constraints: 18339
82.77/83.01 c #Conflicts: 117000 | #Constraints: 19339
82.77/83.01 c INPROCESSING
82.77/83.01 c GARBAGE COLLECT
82.77/83.01 c #Conflicts: 118000 | #Constraints: 13545
82.77/83.01 c #Conflicts: 119000 | #Constraints: 14545
82.77/83.01 c #Conflicts: 120000 | #Constraints: 15545
82.77/83.01 c #Conflicts: 121000 | #Constraints: 16545
82.77/83.01 c #Conflicts: 122000 | #Constraints: 17545
82.77/83.01 c #Conflicts: 123000 | #Constraints: 18545
153.27/153.78 c #Conflicts: 124000 | #Constraints: 19545
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c #Conflicts: 125000 | #Constraints: 13536
153.27/153.78 c #Conflicts: 126000 | #Constraints: 14536
153.27/153.78 c #Conflicts: 127000 | #Constraints: 15536
153.27/153.78 c #Conflicts: 128000 | #Constraints: 16536
153.27/153.78 c #Conflicts: 129000 | #Constraints: 17536
153.27/153.78 c #Conflicts: 130000 | #Constraints: 18536
153.27/153.78 c #Conflicts: 131000 | #Constraints: 19536
153.27/153.78 c #Conflicts: 132000 | #Constraints: 20536
153.27/153.78 c #Conflicts: 133000 | #Constraints: 21536
153.27/153.78 c #Conflicts: 134000 | #Constraints: 22536
153.27/153.78 c #Conflicts: 135000 | #Constraints: 23536
153.27/153.78 c #Conflicts: 136000 | #Constraints: 24536
153.27/153.78 c #Conflicts: 137000 | #Constraints: 25536
153.27/153.78 c #Conflicts: 138000 | #Constraints: 26536
153.27/153.78 c #Conflicts: 139000 | #Constraints: 27536
153.27/153.78 c #Conflicts: 140000 | #Constraints: 28536
153.27/153.78 c #Conflicts: 141000 | #Constraints: 29536
153.27/153.78 c #Conflicts: 142000 | #Constraints: 30536
153.27/153.78 c #Conflicts: 143000 | #Constraints: 31536
153.27/153.78 c #Conflicts: 144000 | #Constraints: 32536
153.27/153.78 c #Conflicts: 145000 | #Constraints: 33536
153.27/153.78 c #Conflicts: 146000 | #Constraints: 34536
153.27/153.78 c #Conflicts: 147000 | #Constraints: 35536
153.27/153.78 c #Conflicts: 148000 | #Constraints: 36536
153.27/153.78 c #Conflicts: 149000 | #Constraints: 37536
153.27/153.78 c #Conflicts: 150000 | #Constraints: 38536
153.27/153.78 c #Conflicts: 151000 | #Constraints: 39536
153.27/153.78 c #Conflicts: 152000 | #Constraints: 40536
153.27/153.78 c #Conflicts: 153000 | #Constraints: 41536
153.27/153.78 c #Conflicts: 154000 | #Constraints: 42536
153.27/153.78 c #Conflicts: 155000 | #Constraints: 43536
153.27/153.78 c #Conflicts: 156000 | #Constraints: 44536
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c #Conflicts: 157000 | #Constraints: 25800
153.27/153.78 c #Conflicts: 158000 | #Constraints: 26800
153.27/153.78 c #Conflicts: 159000 | #Constraints: 27800
153.27/153.78 c #Conflicts: 160000 | #Constraints: 28800
153.27/153.78 c #Conflicts: 161000 | #Constraints: 29800
153.27/153.78 c #Conflicts: 162000 | #Constraints: 30800
153.27/153.78 c #Conflicts: 163000 | #Constraints: 31800
153.27/153.78 c #Conflicts: 164000 | #Constraints: 32800
153.27/153.78 c #Conflicts: 165000 | #Constraints: 33800
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c #Conflicts: 166000 | #Constraints: 20677
153.27/153.78 c #Conflicts: 167000 | #Constraints: 21677
153.27/153.78 c #Conflicts: 168000 | #Constraints: 22677
153.27/153.78 c #Conflicts: 169000 | #Constraints: 23677
153.27/153.78 c #Conflicts: 170000 | #Constraints: 24677
153.27/153.78 c #Conflicts: 171000 | #Constraints: 25677
153.27/153.78 c #Conflicts: 172000 | #Constraints: 26677
153.27/153.78 c #Conflicts: 173000 | #Constraints: 27677
153.27/153.78 c #Conflicts: 174000 | #Constraints: 28677
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c #Conflicts: 175000 | #Constraints: 18281
153.27/153.78 c #Conflicts: 176000 | #Constraints: 19281
153.27/153.78 c #Conflicts: 177000 | #Constraints: 20281
153.27/153.78 c #Conflicts: 178000 | #Constraints: 21281
153.27/153.78 c #Conflicts: 179000 | #Constraints: 22281
153.27/153.78 c #Conflicts: 180000 | #Constraints: 23281
153.27/153.78 c #Conflicts: 181000 | #Constraints: 24281
153.27/153.78 c #Conflicts: 182000 | #Constraints: 25281
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c #Conflicts: 183000 | #Constraints: 16184
153.27/153.78 c #Conflicts: 184000 | #Constraints: 17184
153.27/153.78 c #Conflicts: 185000 | #Constraints: 18184
153.27/153.78 c #Conflicts: 186000 | #Constraints: 19184
153.27/153.78 c #Conflicts: 187000 | #Constraints: 20184
153.27/153.78 c #Conflicts: 188000 | #Constraints: 21184
153.27/153.78 c #Conflicts: 189000 | #Constraints: 22184
153.27/153.78 c #Conflicts: 190000 | #Constraints: 23184
153.27/153.78 c #Conflicts: 191000 | #Constraints: 24184
153.27/153.78 c #Conflicts: 192000 | #Constraints: 25184
153.27/153.78 c INPROCESSING
153.27/153.78 c GARBAGE COLLECT
153.27/153.78 c rational objective 81
245.35/246.02 c #Conflicts: 193000 | #Constraints: 16540
245.35/246.02 c #Conflicts: 194000 | #Constraints: 17540
245.35/246.02 c #Conflicts: 195000 | #Constraints: 18540
245.35/246.02 c #Conflicts: 196000 | #Constraints: 19540
245.35/246.02 c #Conflicts: 197000 | #Constraints: 20540
245.35/246.02 c #Conflicts: 198000 | #Constraints: 21540
245.35/246.02 c #Conflicts: 199000 | #Constraints: 22540
245.35/246.02 c #Conflicts: 200000 | #Constraints: 23540
245.35/246.02 c #Conflicts: 201000 | #Constraints: 24540
245.35/246.02 c INPROCESSING
245.35/246.02 c GARBAGE COLLECT
245.35/246.02 c #Conflicts: 202000 | #Constraints: 16045
245.35/246.02 c #Conflicts: 203000 | #Constraints: 17045
245.35/246.02 c #Conflicts: 204000 | #Constraints: 18045
245.35/246.02 c #Conflicts: 205000 | #Constraints: 19045
245.35/246.02 c #Conflicts: 206000 | #Constraints: 20045
245.35/246.02 c #Conflicts: 207000 | #Constraints: 21045
245.35/246.02 c #Conflicts: 208000 | #Constraints: 22045
245.35/246.02 c #Conflicts: 209000 | #Constraints: 23045
245.35/246.02 c #Conflicts: 210000 | #Constraints: 24045
245.35/246.02 c #Conflicts: 211000 | #Constraints: 25045
245.35/246.02 c #Conflicts: 212000 | #Constraints: 26045
245.35/246.02 c #Conflicts: 213000 | #Constraints: 27045
245.35/246.02 c #Conflicts: 214000 | #Constraints: 28045
245.35/246.02 c #Conflicts: 215000 | #Constraints: 29045
245.35/246.02 c #Conflicts: 216000 | #Constraints: 30045
245.35/246.02 c #Conflicts: 217000 | #Constraints: 31045
245.35/246.02 c #Conflicts: 218000 | #Constraints: 32045
245.35/246.02 c #Conflicts: 219000 | #Constraints: 33045
245.35/246.02 c #Conflicts: 220000 | #Constraints: 34045
245.35/246.02 c #Conflicts: 221000 | #Constraints: 35045
245.35/246.02 c #Conflicts: 222000 | #Constraints: 36045
245.35/246.02 c #Conflicts: 223000 | #Constraints: 37045
245.35/246.02 c #Conflicts: 224000 | #Constraints: 38045
245.35/246.02 c #Conflicts: 225000 | #Constraints: 39045
245.35/246.02 c #Conflicts: 226000 | #Constraints: 40045
245.35/246.02 c #Conflicts: 227000 | #Constraints: 41045
245.35/246.02 c #Conflicts: 228000 | #Constraints: 42045
245.35/246.02 c #Conflicts: 229000 | #Constraints: 43045
245.35/246.02 c #Conflicts: 230000 | #Constraints: 44045
245.35/246.02 c #Conflicts: 231000 | #Constraints: 45045
245.35/246.02 c #Conflicts: 232000 | #Constraints: 46045
245.35/246.02 c #Conflicts: 233000 | #Constraints: 47045
245.35/246.02 c #Conflicts: 234000 | #Constraints: 48045
245.35/246.02 c #Conflicts: 235000 | #Constraints: 49045
245.35/246.02 c #Conflicts: 236000 | #Constraints: 50045
245.35/246.02 c #Conflicts: 237000 | #Constraints: 51045
245.35/246.02 c #Conflicts: 238000 | #Constraints: 52045
245.35/246.02 c #Conflicts: 239000 | #Constraints: 53045
245.35/246.02 c #Conflicts: 240000 | #Constraints: 54045
245.35/246.02 c #Conflicts: 241000 | #Constraints: 55045
245.35/246.02 c INPROCESSING
245.35/246.02 c GARBAGE COLLECT
245.35/246.02 c #Conflicts: 242000 | #Constraints: 31212
245.35/246.02 c #Conflicts: 243000 | #Constraints: 32212
245.35/246.02 c #Conflicts: 244000 | #Constraints: 33212
245.35/246.02 c #Conflicts: 245000 | #Constraints: 34212
245.35/246.02 c #Conflicts: 246000 | #Constraints: 35212
245.35/246.02 c #Conflicts: 247000 | #Constraints: 36212
245.35/246.02 c #Conflicts: 248000 | #Constraints: 37212
245.35/246.02 c #Conflicts: 249000 | #Constraints: 38212
245.35/246.02 c #Conflicts: 250000 | #Constraints: 39212
245.35/246.02 c #Conflicts: 251000 | #Constraints: 40213
245.35/246.02 c #Conflicts: 252000 | #Constraints: 41213
245.35/246.02 c INPROCESSING
245.35/246.02 c GARBAGE COLLECT
245.35/246.02 c #Conflicts: 253000 | #Constraints: 24549
245.35/246.02 c #Conflicts: 254000 | #Constraints: 25549
245.35/246.02 c #Conflicts: 255000 | #Constraints: 26549
245.35/246.02 c #Conflicts: 256000 | #Constraints: 27549
245.35/246.02 c #Conflicts: 257000 | #Constraints: 28549
245.35/246.02 c #Conflicts: 258000 | #Constraints: 29549
245.35/246.02 c #Conflicts: 259000 | #Constraints: 30549
245.35/246.02 c #Conflicts: 260000 | #Constraints: 31549
245.35/246.02 c #Conflicts: 261000 | #Constraints: 32549
245.35/246.02 c #Conflicts: 262000 | #Constraints: 33549
245.35/246.02 c INPROCESSING
245.35/246.02 c GARBAGE COLLECT
245.35/246.02 c #Conflicts: 263000 | #Constraints: 20304
245.35/246.02 c #Conflicts: 264000 | #Constraints: 21304
245.35/246.02 c #Conflicts: 265000 | #Constraints: 22304
245.35/246.02 c #Conflicts: 266000 | #Constraints: 23304
245.35/246.02 c #Conflicts: 267000 | #Constraints: 24304
245.35/246.02 c #Conflicts: 268000 | #Constraints: 25304
245.35/246.02 c #Conflicts: 269000 | #Constraints: 26304
284.84/285.65 c #Conflicts: 270000 | #Constraints: 27304
284.84/285.65 c #Conflicts: 271000 | #Constraints: 28304
284.84/285.65 c #Conflicts: 272000 | #Constraints: 29304
284.84/285.65 c #Conflicts: 273000 | #Constraints: 30304
284.84/285.65 c INPROCESSING
284.84/285.65 c GARBAGE COLLECT
284.84/285.65 c #Conflicts: 274000 | #Constraints: 18736
284.84/285.65 c #Conflicts: 275000 | #Constraints: 19736
284.84/285.65 c #Conflicts: 276000 | #Constraints: 20736
284.84/285.65 c #Conflicts: 277000 | #Constraints: 21736
284.84/285.65 c #Conflicts: 278000 | #Constraints: 22736
284.84/285.65 c #Conflicts: 279000 | #Constraints: 23736
284.84/285.65 c #Conflicts: 280000 | #Constraints: 24736
284.84/285.65 c #Conflicts: 281000 | #Constraints: 25736
284.84/285.65 c #Conflicts: 282000 | #Constraints: 26737
284.84/285.65 c #Conflicts: 283000 | #Constraints: 27737
284.84/285.65 c #Conflicts: 284000 | #Constraints: 28737
284.84/285.65 c #Conflicts: 285000 | #Constraints: 29737
284.84/285.65 c INPROCESSING
284.84/285.65 c GARBAGE COLLECT
284.84/285.65 c #Conflicts: 286000 | #Constraints: 18837
284.84/285.65 c #Conflicts: 287000 | #Constraints: 19837
284.84/285.65 c #Conflicts: 288000 | #Constraints: 20837
284.84/285.65 c #Conflicts: 289000 | #Constraints: 21837
284.84/285.65 c #Conflicts: 290000 | #Constraints: 22837
284.84/285.65 c #Conflicts: 291000 | #Constraints: 23837
284.84/285.65 c #Conflicts: 292000 | #Constraints: 24837
284.84/285.65 c #Conflicts: 293000 | #Constraints: 25837
284.84/285.65 c #Conflicts: 294000 | #Constraints: 26838
284.84/285.65 c #Conflicts: 295000 | #Constraints: 27838
284.84/285.65 c #Conflicts: 296000 | #Constraints: 28838
284.84/285.65 c INPROCESSING
284.84/285.65 c GARBAGE COLLECT
284.84/285.65 c #Conflicts: 297000 | #Constraints: 18248
284.84/285.65 c #Conflicts: 298000 | #Constraints: 19248
284.84/285.65 c #Conflicts: 299000 | #Constraints: 20248
284.84/285.65 c #Conflicts: 300000 | #Constraints: 21248
284.84/285.65 c #Conflicts: 301000 | #Constraints: 22248
284.84/285.65 c #Conflicts: 302000 | #Constraints: 23248
284.84/285.65 c #Conflicts: 303000 | #Constraints: 24248
284.84/285.65 c #Conflicts: 304000 | #Constraints: 25249
284.84/285.65 c #Conflicts: 305000 | #Constraints: 26249
284.84/285.65 c #Conflicts: 306000 | #Constraints: 27249
284.84/285.66 c #Conflicts: 307000 | #Constraints: 28249
284.84/285.66 c #Conflicts: 308000 | #Constraints: 29249
284.84/285.66 c INPROCESSING
284.84/285.66 c GARBAGE COLLECT
284.84/285.66 c rational objective 81
391.55/392.66 c #Conflicts: 309000 | #Constraints: 18585
391.55/392.66 c #Conflicts: 310000 | #Constraints: 19585
391.55/392.66 c #Conflicts: 311000 | #Constraints: 20585
391.55/392.66 c #Conflicts: 312000 | #Constraints: 21585
391.55/392.66 c #Conflicts: 313000 | #Constraints: 22585
391.55/392.66 c #Conflicts: 314000 | #Constraints: 23585
391.55/392.66 c #Conflicts: 315000 | #Constraints: 24585
391.55/392.66 c #Conflicts: 316000 | #Constraints: 25585
391.55/392.66 c #Conflicts: 317000 | #Constraints: 26585
391.55/392.66 c #Conflicts: 318000 | #Constraints: 27585
391.55/392.66 c #Conflicts: 319000 | #Constraints: 28585
391.55/392.66 c #Conflicts: 320000 | #Constraints: 29585
391.55/392.66 c #Conflicts: 321000 | #Constraints: 30585
391.55/392.66 c #Conflicts: 322000 | #Constraints: 31585
391.55/392.66 c #Conflicts: 323000 | #Constraints: 32585
391.55/392.66 c #Conflicts: 324000 | #Constraints: 33585
391.55/392.66 c #Conflicts: 325000 | #Constraints: 34585
391.55/392.66 c #Conflicts: 326000 | #Constraints: 35585
391.55/392.66 c #Conflicts: 327000 | #Constraints: 36585
391.55/392.66 c #Conflicts: 328000 | #Constraints: 37585
391.55/392.66 c #Conflicts: 329000 | #Constraints: 38585
391.55/392.66 c #Conflicts: 330000 | #Constraints: 39585
391.55/392.66 c #Conflicts: 331000 | #Constraints: 40585
391.55/392.66 c #Conflicts: 332000 | #Constraints: 41585
391.55/392.66 c #Conflicts: 333000 | #Constraints: 42585
391.55/392.66 c #Conflicts: 334000 | #Constraints: 43585
391.55/392.66 c #Conflicts: 335000 | #Constraints: 44585
391.55/392.66 c #Conflicts: 336000 | #Constraints: 45585
391.55/392.66 c #Conflicts: 337000 | #Constraints: 46585
391.55/392.66 c #Conflicts: 338000 | #Constraints: 47585
391.55/392.66 c #Conflicts: 339000 | #Constraints: 48585
391.55/392.66 c #Conflicts: 340000 | #Constraints: 49585
391.55/392.66 c #Conflicts: 341000 | #Constraints: 50585
391.55/392.66 c #Conflicts: 342000 | #Constraints: 51585
391.55/392.66 c #Conflicts: 343000 | #Constraints: 52585
391.55/392.66 c #Conflicts: 344000 | #Constraints: 53585
391.55/392.66 c #Conflicts: 345000 | #Constraints: 54585
391.55/392.66 c #Conflicts: 346000 | #Constraints: 55585
391.55/392.66 c #Conflicts: 347000 | #Constraints: 56585
391.55/392.66 c #Conflicts: 348000 | #Constraints: 57585
391.55/392.66 c #Conflicts: 349000 | #Constraints: 58585
391.55/392.66 c #Conflicts: 350000 | #Constraints: 59585
391.55/392.66 c #Conflicts: 351000 | #Constraints: 60585
391.55/392.66 c #Conflicts: 352000 | #Constraints: 61585
391.55/392.66 c #Conflicts: 353000 | #Constraints: 62585
391.55/392.66 c #Conflicts: 354000 | #Constraints: 63585
391.55/392.66 c #Conflicts: 355000 | #Constraints: 64585
391.55/392.66 c #Conflicts: 356000 | #Constraints: 65585
391.55/392.66 c INPROCESSING
391.55/392.66 c GARBAGE COLLECT
391.55/392.66 c #Conflicts: 357000 | #Constraints: 36428
391.55/392.66 c #Conflicts: 358000 | #Constraints: 37428
391.55/392.66 c #Conflicts: 359000 | #Constraints: 38428
391.55/392.66 c #Conflicts: 360000 | #Constraints: 39428
391.55/392.66 c #Conflicts: 361000 | #Constraints: 40428
391.55/392.66 c #Conflicts: 362000 | #Constraints: 41428
391.55/392.66 c #Conflicts: 363000 | #Constraints: 42428
391.55/392.66 c #Conflicts: 364000 | #Constraints: 43428
391.55/392.66 c #Conflicts: 365000 | #Constraints: 44428
391.55/392.66 c #Conflicts: 366000 | #Constraints: 45428
391.55/392.66 c #Conflicts: 367000 | #Constraints: 46428
391.55/392.66 c #Conflicts: 368000 | #Constraints: 47428
391.55/392.66 c #Conflicts: 369000 | #Constraints: 48428
391.55/392.66 c INPROCESSING
391.55/392.66 c GARBAGE COLLECT
391.55/392.66 c #Conflicts: 370000 | #Constraints: 27941
391.55/392.66 c #Conflicts: 371000 | #Constraints: 28941
391.55/392.66 c #Conflicts: 372000 | #Constraints: 29941
391.55/392.66 c #Conflicts: 373000 | #Constraints: 30941
391.55/392.66 c #Conflicts: 374000 | #Constraints: 31941
391.55/392.66 c #Conflicts: 375000 | #Constraints: 32941
391.55/392.66 c #Conflicts: 376000 | #Constraints: 33941
391.55/392.66 c #Conflicts: 377000 | #Constraints: 34941
391.55/392.66 c #Conflicts: 378000 | #Constraints: 35941
391.55/392.66 c #Conflicts: 379000 | #Constraints: 36941
391.55/392.66 c #Conflicts: 380000 | #Constraints: 37941
391.55/392.66 c #Conflicts: 381000 | #Constraints: 38941
391.55/392.66 c #Conflicts: 382000 | #Constraints: 39941
391.55/392.66 c INPROCESSING
391.55/392.66 c GARBAGE COLLECT
391.55/392.66 c rational objective 81
480.93/482.26 c #Conflicts: 383000 | #Constraints: 23597
480.93/482.26 c #Conflicts: 384000 | #Constraints: 24597
480.93/482.26 c #Conflicts: 385000 | #Constraints: 25597
480.93/482.26 c #Conflicts: 386000 | #Constraints: 26597
480.93/482.26 c #Conflicts: 387000 | #Constraints: 27597
480.93/482.26 c #Conflicts: 388000 | #Constraints: 28597
480.93/482.26 c #Conflicts: 389000 | #Constraints: 29597
480.93/482.26 c #Conflicts: 390000 | #Constraints: 30597
480.93/482.26 c #Conflicts: 391000 | #Constraints: 31597
480.93/482.26 c #Conflicts: 392000 | #Constraints: 32597
480.93/482.26 c #Conflicts: 393000 | #Constraints: 33597
480.93/482.26 c #Conflicts: 394000 | #Constraints: 34597
480.93/482.26 c #Conflicts: 395000 | #Constraints: 35597
480.93/482.26 c #Conflicts: 396000 | #Constraints: 36597
480.93/482.26 c INPROCESSING
480.93/482.26 c GARBAGE COLLECT
480.93/482.26 c #Conflicts: 397000 | #Constraints: 22283
480.93/482.26 c #Conflicts: 398000 | #Constraints: 23283
480.93/482.26 c #Conflicts: 399000 | #Constraints: 24283
480.93/482.26 c #Conflicts: 400000 | #Constraints: 25283
480.93/482.26 c #Conflicts: 401000 | #Constraints: 26283
480.93/482.26 c #Conflicts: 402000 | #Constraints: 27283
480.93/482.26 c #Conflicts: 403000 | #Constraints: 28283
480.93/482.26 c #Conflicts: 404000 | #Constraints: 29283
480.93/482.26 c #Conflicts: 405000 | #Constraints: 30283
480.93/482.26 c #Conflicts: 406000 | #Constraints: 31283
480.93/482.26 c #Conflicts: 407000 | #Constraints: 32283
480.93/482.26 c #Conflicts: 408000 | #Constraints: 33283
480.93/482.26 c #Conflicts: 409000 | #Constraints: 34283
480.93/482.26 c INPROCESSING
480.93/482.26 c GARBAGE COLLECT
480.93/482.26 c #Conflicts: 410000 | #Constraints: 20882
480.93/482.26 c #Conflicts: 411000 | #Constraints: 21882
480.93/482.26 c #Conflicts: 412000 | #Constraints: 22882
480.93/482.26 c #Conflicts: 413000 | #Constraints: 23882
480.93/482.26 c #Conflicts: 414000 | #Constraints: 24882
480.93/482.26 c #Conflicts: 415000 | #Constraints: 25882
480.93/482.26 c #Conflicts: 416000 | #Constraints: 26882
480.93/482.26 c #Conflicts: 417000 | #Constraints: 27882
480.93/482.26 c #Conflicts: 418000 | #Constraints: 28882
480.93/482.26 c #Conflicts: 419000 | #Constraints: 29882
480.93/482.26 c #Conflicts: 420000 | #Constraints: 30882
480.93/482.26 c #Conflicts: 421000 | #Constraints: 31882
480.93/482.26 c #Conflicts: 422000 | #Constraints: 32882
480.93/482.26 c #Conflicts: 423000 | #Constraints: 33882
480.93/482.26 c INPROCESSING
480.93/482.26 c GARBAGE COLLECT
480.93/482.26 c #Conflicts: 424000 | #Constraints: 20852
480.93/482.26 c #Conflicts: 425000 | #Constraints: 21852
480.93/482.26 c #Conflicts: 426000 | #Constraints: 22852
480.93/482.26 c #Conflicts: 427000 | #Constraints: 23852
480.93/482.26 c #Conflicts: 428000 | #Constraints: 24852
480.93/482.26 c #Conflicts: 429000 | #Constraints: 25852
480.93/482.26 c #Conflicts: 430000 | #Constraints: 26852
480.93/482.26 c #Conflicts: 431000 | #Constraints: 27852
480.93/482.26 c #Conflicts: 432000 | #Constraints: 28852
480.93/482.26 c #Conflicts: 433000 | #Constraints: 29852
480.93/482.26 c #Conflicts: 434000 | #Constraints: 30852
480.93/482.26 c #Conflicts: 435000 | #Constraints: 31852
480.93/482.26 c #Conflicts: 436000 | #Constraints: 32852
480.93/482.26 c #Conflicts: 437000 | #Constraints: 33852
480.93/482.26 c INPROCESSING
480.93/482.26 c GARBAGE COLLECT
480.93/482.26 c #Conflicts: 438000 | #Constraints: 20815
480.93/482.26 c #Conflicts: 439000 | #Constraints: 21815
480.93/482.26 c #Conflicts: 440000 | #Constraints: 22815
480.93/482.26 c #Conflicts: 441000 | #Constraints: 23815
480.93/482.26 c #Conflicts: 442000 | #Constraints: 24815
480.93/482.26 c #Conflicts: 443000 | #Constraints: 25815
480.93/482.26 c #Conflicts: 444000 | #Constraints: 26815
480.93/482.26 c #Conflicts: 445000 | #Constraints: 27815
480.93/482.26 c #Conflicts: 446000 | #Constraints: 28815
480.93/482.26 c #Conflicts: 447000 | #Constraints: 29815
480.93/482.26 c #Conflicts: 448000 | #Constraints: 30815
480.93/482.26 c #Conflicts: 449000 | #Constraints: 31815
480.93/482.26 c #Conflicts: 450000 | #Constraints: 32815
480.93/482.26 c #Conflicts: 451000 | #Constraints: 33815
480.93/482.26 c #Conflicts: 452000 | #Constraints: 34815
480.93/482.26 c #Conflicts: 453000 | #Constraints: 35815
480.93/482.26 c #Conflicts: 454000 | #Constraints: 36815
480.93/482.26 c #Conflicts: 455000 | #Constraints: 37815
480.93/482.26 c #Conflicts: 456000 | #Constraints: 38815
480.93/482.26 c #Conflicts: 457000 | #Constraints: 39815
480.93/482.26 c #Conflicts: 458000 | #Constraints: 40815
480.93/482.26 c #Conflicts: 459000 | #Constraints: 41815
615.51/617.29 c #Conflicts: 460000 | #Constraints: 42815
615.51/617.29 c #Conflicts: 461000 | #Constraints: 43815
615.51/617.29 c #Conflicts: 462000 | #Constraints: 44815
615.51/617.29 c #Conflicts: 463000 | #Constraints: 45815
615.51/617.29 c #Conflicts: 464000 | #Constraints: 46815
615.51/617.29 c #Conflicts: 465000 | #Constraints: 47815
615.51/617.29 c #Conflicts: 466000 | #Constraints: 48815
615.51/617.29 c #Conflicts: 467000 | #Constraints: 49815
615.51/617.29 c #Conflicts: 468000 | #Constraints: 50815
615.51/617.29 c #Conflicts: 469000 | #Constraints: 51815
615.51/617.29 c #Conflicts: 470000 | #Constraints: 52815
615.51/617.29 c #Conflicts: 471000 | #Constraints: 53815
615.51/617.29 c #Conflicts: 472000 | #Constraints: 54815
615.51/617.29 c #Conflicts: 473000 | #Constraints: 55815
615.51/617.29 c #Conflicts: 474000 | #Constraints: 56815
615.51/617.29 c #Conflicts: 475000 | #Constraints: 57815
615.51/617.29 c #Conflicts: 476000 | #Constraints: 58815
615.51/617.29 c #Conflicts: 477000 | #Constraints: 59815
615.51/617.29 c #Conflicts: 478000 | #Constraints: 60815
615.51/617.29 c #Conflicts: 479000 | #Constraints: 61815
615.51/617.29 c #Conflicts: 480000 | #Constraints: 62815
615.51/617.29 c #Conflicts: 481000 | #Constraints: 63815
615.51/617.29 c #Conflicts: 482000 | #Constraints: 64815
615.51/617.29 c #Conflicts: 483000 | #Constraints: 65815
615.51/617.29 c #Conflicts: 484000 | #Constraints: 66815
615.51/617.29 c #Conflicts: 485000 | #Constraints: 67815
615.51/617.29 c #Conflicts: 486000 | #Constraints: 68815
615.51/617.29 c #Conflicts: 487000 | #Constraints: 69815
615.51/617.29 c #Conflicts: 488000 | #Constraints: 70815
615.51/617.29 c #Conflicts: 489000 | #Constraints: 71815
615.51/617.29 c #Conflicts: 490000 | #Constraints: 72815
615.51/617.29 c #Conflicts: 491000 | #Constraints: 73815
615.51/617.29 c #Conflicts: 492000 | #Constraints: 74815
615.51/617.29 c #Conflicts: 493000 | #Constraints: 75815
615.51/617.29 c #Conflicts: 494000 | #Constraints: 76815
615.51/617.29 c INPROCESSING
615.51/617.29 c GARBAGE COLLECT
615.51/617.29 c #Conflicts: 495000 | #Constraints: 42247
615.51/617.29 c #Conflicts: 496000 | #Constraints: 43247
615.51/617.29 c #Conflicts: 497000 | #Constraints: 44247
615.51/617.29 c #Conflicts: 498000 | #Constraints: 45247
615.51/617.29 c #Conflicts: 499000 | #Constraints: 46247
615.51/617.29 c #Conflicts: 500000 | #Constraints: 47247
615.51/617.29 c #Conflicts: 501000 | #Constraints: 48247
615.51/617.29 c #Conflicts: 502000 | #Constraints: 49247
615.51/617.29 c #Conflicts: 503000 | #Constraints: 50247
615.51/617.29 c #Conflicts: 504000 | #Constraints: 51247
615.51/617.29 c #Conflicts: 505000 | #Constraints: 52247
615.51/617.29 c #Conflicts: 506000 | #Constraints: 53247
615.51/617.29 c #Conflicts: 507000 | #Constraints: 54247
615.51/617.29 c #Conflicts: 508000 | #Constraints: 55247
615.51/617.29 c #Conflicts: 509000 | #Constraints: 56247
615.51/617.29 c INPROCESSING
615.51/617.29 c GARBAGE COLLECT
615.51/617.29 c #Conflicts: 510000 | #Constraints: 31874
615.51/617.29 c #Conflicts: 511000 | #Constraints: 32874
615.51/617.29 c #Conflicts: 512000 | #Constraints: 33874
615.51/617.29 c #Conflicts: 513000 | #Constraints: 34874
615.51/617.29 c #Conflicts: 514000 | #Constraints: 35874
615.51/617.29 c #Conflicts: 515000 | #Constraints: 36874
615.51/617.29 c #Conflicts: 516000 | #Constraints: 37874
615.51/617.29 c #Conflicts: 517000 | #Constraints: 38874
615.51/617.29 c #Conflicts: 518000 | #Constraints: 39874
615.51/617.29 c #Conflicts: 519000 | #Constraints: 40874
615.51/617.29 c #Conflicts: 520000 | #Constraints: 41874
615.51/617.29 c #Conflicts: 521000 | #Constraints: 42874
615.51/617.29 c #Conflicts: 522000 | #Constraints: 43874
615.51/617.29 c #Conflicts: 523000 | #Constraints: 44874
615.51/617.29 c #Conflicts: 524000 | #Constraints: 45874
615.51/617.29 c #Conflicts: 525000 | #Constraints: 46874
615.51/617.29 c INPROCESSING
615.51/617.29 c GARBAGE COLLECT
615.51/617.29 c rational objective 81
694.82/696.72 c #Conflicts: 526000 | #Constraints: 27490
694.82/696.72 c #Conflicts: 527000 | #Constraints: 28490
694.82/696.72 c #Conflicts: 528000 | #Constraints: 29490
694.82/696.72 c #Conflicts: 529000 | #Constraints: 30490
694.82/696.72 c #Conflicts: 530000 | #Constraints: 31490
694.82/696.72 c #Conflicts: 531000 | #Constraints: 32490
694.82/696.72 c #Conflicts: 532000 | #Constraints: 33490
694.82/696.72 c #Conflicts: 533000 | #Constraints: 34490
694.82/696.72 c #Conflicts: 534000 | #Constraints: 35490
694.82/696.72 c #Conflicts: 535000 | #Constraints: 36490
694.82/696.72 c #Conflicts: 536000 | #Constraints: 37490
694.82/696.72 c #Conflicts: 537000 | #Constraints: 38490
694.82/696.72 c #Conflicts: 538000 | #Constraints: 39490
694.82/696.72 c #Conflicts: 539000 | #Constraints: 40490
694.82/696.72 c #Conflicts: 540000 | #Constraints: 41490
694.82/696.72 c INPROCESSING
694.82/696.72 c GARBAGE COLLECT
694.82/696.72 c #Conflicts: 541000 | #Constraints: 24471
694.82/696.72 c #Conflicts: 542000 | #Constraints: 25471
694.82/696.72 c #Conflicts: 543000 | #Constraints: 26471
694.82/696.72 c #Conflicts: 544000 | #Constraints: 27471
694.82/696.72 c #Conflicts: 545000 | #Constraints: 28471
694.82/696.72 c #Conflicts: 546000 | #Constraints: 29471
694.82/696.72 c #Conflicts: 547000 | #Constraints: 30471
694.82/696.72 c #Conflicts: 548000 | #Constraints: 31471
694.82/696.72 c #Conflicts: 549000 | #Constraints: 32471
694.82/696.72 c #Conflicts: 550000 | #Constraints: 33471
694.82/696.72 c #Conflicts: 551000 | #Constraints: 34471
694.82/696.72 c #Conflicts: 552000 | #Constraints: 35471
694.82/696.72 c #Conflicts: 553000 | #Constraints: 36471
694.82/696.72 c #Conflicts: 554000 | #Constraints: 37471
694.82/696.72 c #Conflicts: 555000 | #Constraints: 38471
694.82/696.72 c #Conflicts: 556000 | #Constraints: 39471
694.82/696.72 c INPROCESSING
694.82/696.72 c GARBAGE COLLECT
694.82/696.72 c #Conflicts: 557000 | #Constraints: 23562
694.82/696.72 c #Conflicts: 558000 | #Constraints: 24562
694.82/696.72 c #Conflicts: 559000 | #Constraints: 25562
694.82/696.72 c #Conflicts: 560000 | #Constraints: 26562
694.82/696.72 c #Conflicts: 561000 | #Constraints: 27562
694.82/696.72 c #Conflicts: 562000 | #Constraints: 28562
694.82/696.72 c #Conflicts: 563000 | #Constraints: 29562
694.82/696.72 c #Conflicts: 564000 | #Constraints: 30562
694.82/696.72 c #Conflicts: 565000 | #Constraints: 31562
694.82/696.72 c #Conflicts: 566000 | #Constraints: 32562
694.82/696.72 c #Conflicts: 567000 | #Constraints: 33562
694.82/696.72 c #Conflicts: 568000 | #Constraints: 34562
694.82/696.72 c #Conflicts: 569000 | #Constraints: 35562
694.82/696.72 c #Conflicts: 570000 | #Constraints: 36562
694.82/696.72 c #Conflicts: 571000 | #Constraints: 37562
694.82/696.72 c #Conflicts: 572000 | #Constraints: 38562
694.82/696.72 c INPROCESSING
694.82/696.72 c GARBAGE COLLECT
694.82/696.72 c #Conflicts: 573000 | #Constraints: 23123
694.82/696.72 c #Conflicts: 574000 | #Constraints: 24123
694.82/696.72 c #Conflicts: 575000 | #Constraints: 25123
694.82/696.72 c #Conflicts: 576000 | #Constraints: 26123
694.82/696.72 c #Conflicts: 577000 | #Constraints: 27123
694.82/696.72 c #Conflicts: 578000 | #Constraints: 28123
694.82/696.72 c #Conflicts: 579000 | #Constraints: 29123
694.82/696.72 c #Conflicts: 580000 | #Constraints: 30123
694.82/696.72 c #Conflicts: 581000 | #Constraints: 31123
694.82/696.72 c #Conflicts: 582000 | #Constraints: 32123
694.82/696.72 c #Conflicts: 583000 | #Constraints: 33123
694.82/696.72 c #Conflicts: 584000 | #Constraints: 34123
694.82/696.72 c #Conflicts: 585000 | #Constraints: 35123
694.82/696.72 c #Conflicts: 586000 | #Constraints: 36123
694.82/696.72 c #Conflicts: 587000 | #Constraints: 37123
694.82/696.72 c #Conflicts: 588000 | #Constraints: 38123
694.82/696.72 c INPROCESSING
694.82/696.72 c GARBAGE COLLECT
694.82/696.72 c #Conflicts: 589000 | #Constraints: 22823
694.82/696.72 c #Conflicts: 590000 | #Constraints: 23823
694.82/696.72 c #Conflicts: 591000 | #Constraints: 24824
694.82/696.72 c #Conflicts: 592000 | #Constraints: 25824
694.82/696.72 c #Conflicts: 593000 | #Constraints: 26824
694.82/696.72 c #Conflicts: 594000 | #Constraints: 27824
694.82/696.72 c #Conflicts: 595000 | #Constraints: 28824
694.82/696.72 c #Conflicts: 596000 | #Constraints: 29824
694.82/696.72 c #Conflicts: 597000 | #Constraints: 30824
694.82/696.72 c #Conflicts: 598000 | #Constraints: 31824
694.82/696.72 c #Conflicts: 599000 | #Constraints: 32824
694.82/696.72 c #Conflicts: 600000 | #Constraints: 33824
694.82/696.72 c #Conflicts: 601000 | #Constraints: 34824
694.82/696.72 c #Conflicts: 602000 | #Constraints: 35824
815.82/818.10 c #Conflicts: 603000 | #Constraints: 36824
815.82/818.10 c #Conflicts: 604000 | #Constraints: 37824
815.82/818.10 c #Conflicts: 605000 | #Constraints: 38824
815.82/818.10 c #Conflicts: 606000 | #Constraints: 39824
815.82/818.10 c #Conflicts: 607000 | #Constraints: 40824
815.82/818.10 c #Conflicts: 608000 | #Constraints: 41824
815.82/818.10 c #Conflicts: 609000 | #Constraints: 42824
815.82/818.10 c #Conflicts: 610000 | #Constraints: 43824
815.82/818.10 c #Conflicts: 611000 | #Constraints: 44824
815.82/818.10 c #Conflicts: 612000 | #Constraints: 45824
815.82/818.10 c #Conflicts: 613000 | #Constraints: 46824
815.82/818.10 c #Conflicts: 614000 | #Constraints: 47824
815.82/818.10 c #Conflicts: 615000 | #Constraints: 48824
815.82/818.10 c #Conflicts: 616000 | #Constraints: 49824
815.82/818.10 c #Conflicts: 617000 | #Constraints: 50824
815.82/818.10 c #Conflicts: 618000 | #Constraints: 51824
815.82/818.10 c #Conflicts: 619000 | #Constraints: 52824
815.82/818.10 c #Conflicts: 620000 | #Constraints: 53824
815.82/818.10 c #Conflicts: 621000 | #Constraints: 54824
815.82/818.11 c #Conflicts: 622000 | #Constraints: 55824
815.82/818.11 c #Conflicts: 623000 | #Constraints: 56824
815.82/818.11 c #Conflicts: 624000 | #Constraints: 57824
815.82/818.11 c #Conflicts: 625000 | #Constraints: 58824
815.82/818.11 c #Conflicts: 626000 | #Constraints: 59824
815.82/818.11 c #Conflicts: 627000 | #Constraints: 60824
815.82/818.11 c #Conflicts: 628000 | #Constraints: 61824
815.82/818.11 c #Conflicts: 629000 | #Constraints: 62824
815.82/818.11 c #Conflicts: 630000 | #Constraints: 63824
815.82/818.11 c #Conflicts: 631000 | #Constraints: 64824
815.82/818.11 c #Conflicts: 632000 | #Constraints: 65824
815.82/818.11 c #Conflicts: 633000 | #Constraints: 66824
815.82/818.11 c #Conflicts: 634000 | #Constraints: 67824
815.82/818.11 c #Conflicts: 635000 | #Constraints: 68824
815.82/818.11 c #Conflicts: 636000 | #Constraints: 69824
815.82/818.11 c #Conflicts: 637000 | #Constraints: 70824
815.82/818.11 c #Conflicts: 638000 | #Constraints: 71824
815.82/818.11 c #Conflicts: 639000 | #Constraints: 72824
815.82/818.11 c #Conflicts: 640000 | #Constraints: 73824
815.82/818.11 c #Conflicts: 641000 | #Constraints: 74824
815.82/818.11 c #Conflicts: 642000 | #Constraints: 75824
815.82/818.11 c #Conflicts: 643000 | #Constraints: 76824
815.82/818.11 c #Conflicts: 644000 | #Constraints: 77824
815.82/818.11 c #Conflicts: 645000 | #Constraints: 78824
815.82/818.11 c #Conflicts: 646000 | #Constraints: 79824
815.82/818.11 c #Conflicts: 647000 | #Constraints: 80824
815.82/818.11 c #Conflicts: 648000 | #Constraints: 81824
815.82/818.11 c #Conflicts: 649000 | #Constraints: 82824
815.82/818.11 c #Conflicts: 650000 | #Constraints: 83824
815.82/818.11 c #Conflicts: 651000 | #Constraints: 84824
815.82/818.11 c #Conflicts: 652000 | #Constraints: 85824
815.82/818.11 c #Conflicts: 653000 | #Constraints: 86824
815.82/818.11 c #Conflicts: 654000 | #Constraints: 87824
815.82/818.11 c INPROCESSING
815.82/818.11 c GARBAGE COLLECT
815.82/818.11 c rational objective 81
853.32/855.62 c #Conflicts: 655000 | #Constraints: 47653
853.32/855.62 c #Conflicts: 656000 | #Constraints: 48653
853.32/855.62 c #Conflicts: 657000 | #Constraints: 49653
853.32/855.62 c #Conflicts: 658000 | #Constraints: 50653
853.32/855.62 c #Conflicts: 659000 | #Constraints: 51653
853.32/855.62 c #Conflicts: 660000 | #Constraints: 52653
853.32/855.62 c #Conflicts: 661000 | #Constraints: 53653
853.32/855.62 c #Conflicts: 662000 | #Constraints: 54653
853.32/855.62 c #Conflicts: 663000 | #Constraints: 55653
853.32/855.62 c #Conflicts: 664000 | #Constraints: 56653
853.32/855.62 c #Conflicts: 665000 | #Constraints: 57653
853.32/855.62 c #Conflicts: 666000 | #Constraints: 58653
853.32/855.62 c #Conflicts: 667000 | #Constraints: 59653
853.32/855.62 c #Conflicts: 668000 | #Constraints: 60653
853.32/855.62 c #Conflicts: 669000 | #Constraints: 61653
853.32/855.62 c #Conflicts: 670000 | #Constraints: 62653
853.32/855.62 c #Conflicts: 671000 | #Constraints: 63653
853.32/855.62 c #Conflicts: 672000 | #Constraints: 64653
853.32/855.62 c INPROCESSING
853.32/855.62 c GARBAGE COLLECT
853.32/855.62 c rational objective 81
958.96/961.52 c #Conflicts: 673000 | #Constraints: 36406
958.96/961.52 c #Conflicts: 674000 | #Constraints: 37406
958.96/961.52 c #Conflicts: 675000 | #Constraints: 38406
958.96/961.52 c #Conflicts: 676000 | #Constraints: 39406
958.96/961.52 c #Conflicts: 677000 | #Constraints: 40406
958.96/961.52 c #Conflicts: 678000 | #Constraints: 41406
958.96/961.52 c #Conflicts: 679000 | #Constraints: 42406
958.96/961.52 c #Conflicts: 680000 | #Constraints: 43406
958.96/961.52 c #Conflicts: 681000 | #Constraints: 44406
958.96/961.52 c #Conflicts: 682000 | #Constraints: 45406
958.96/961.52 c #Conflicts: 683000 | #Constraints: 46406
958.96/961.52 c #Conflicts: 684000 | #Constraints: 47406
958.96/961.52 c #Conflicts: 685000 | #Constraints: 48406
958.96/961.52 c #Conflicts: 686000 | #Constraints: 49406
958.96/961.52 c #Conflicts: 687000 | #Constraints: 50406
958.96/961.52 c #Conflicts: 688000 | #Constraints: 51406
958.96/961.52 c #Conflicts: 689000 | #Constraints: 52406
958.96/961.52 c INPROCESSING
958.96/961.52 c GARBAGE COLLECT
958.96/961.52 c #Conflicts: 690000 | #Constraints: 29906
958.96/961.52 c #Conflicts: 691000 | #Constraints: 30906
958.96/961.52 c #Conflicts: 692000 | #Constraints: 31906
958.96/961.52 c #Conflicts: 693000 | #Constraints: 32906
958.96/961.52 c #Conflicts: 694000 | #Constraints: 33906
958.96/961.52 c #Conflicts: 695000 | #Constraints: 34906
958.96/961.52 c #Conflicts: 696000 | #Constraints: 35906
958.96/961.52 c #Conflicts: 697000 | #Constraints: 36906
958.96/961.52 c #Conflicts: 698000 | #Constraints: 37906
958.96/961.52 c #Conflicts: 699000 | #Constraints: 38906
958.96/961.52 c #Conflicts: 700000 | #Constraints: 39906
958.96/961.52 c #Conflicts: 701000 | #Constraints: 40906
958.96/961.52 c #Conflicts: 702000 | #Constraints: 41906
958.96/961.52 c #Conflicts: 703000 | #Constraints: 42906
958.96/961.52 c #Conflicts: 704000 | #Constraints: 43906
958.96/961.52 c #Conflicts: 705000 | #Constraints: 44906
958.96/961.52 c #Conflicts: 706000 | #Constraints: 45906
958.96/961.52 c #Conflicts: 707000 | #Constraints: 46906
958.96/961.52 c INPROCESSING
958.96/961.52 c GARBAGE COLLECT
958.96/961.52 c #Conflicts: 708000 | #Constraints: 27230
958.96/961.52 c #Conflicts: 709000 | #Constraints: 28230
958.96/961.52 c #Conflicts: 710000 | #Constraints: 29230
958.96/961.52 c #Conflicts: 711000 | #Constraints: 30230
958.96/961.52 c #Conflicts: 712000 | #Constraints: 31230
958.96/961.52 c #Conflicts: 713000 | #Constraints: 32230
958.96/961.52 c #Conflicts: 714000 | #Constraints: 33230
958.96/961.52 c #Conflicts: 715000 | #Constraints: 34230
958.96/961.52 c #Conflicts: 716000 | #Constraints: 35230
958.96/961.52 c #Conflicts: 717000 | #Constraints: 36230
958.96/961.52 c #Conflicts: 718000 | #Constraints: 37230
958.96/961.52 c #Conflicts: 719000 | #Constraints: 38230
958.96/961.52 c #Conflicts: 720000 | #Constraints: 39230
958.96/961.52 c #Conflicts: 721000 | #Constraints: 40230
958.96/961.52 c #Conflicts: 722000 | #Constraints: 41230
958.96/961.52 c #Conflicts: 723000 | #Constraints: 42230
958.96/961.52 c #Conflicts: 724000 | #Constraints: 43230
958.96/961.52 c #Conflicts: 725000 | #Constraints: 44230
958.96/961.52 c INPROCESSING
958.96/961.52 c GARBAGE COLLECT
958.96/961.52 c #Conflicts: 726000 | #Constraints: 25868
958.96/961.52 c #Conflicts: 727000 | #Constraints: 26868
958.96/961.52 c #Conflicts: 728000 | #Constraints: 27868
958.96/961.52 c #Conflicts: 729000 | #Constraints: 28868
958.96/961.52 c #Conflicts: 730000 | #Constraints: 29868
958.96/961.52 c #Conflicts: 731000 | #Constraints: 30868
958.96/961.52 c #Conflicts: 732000 | #Constraints: 31868
958.96/961.52 c #Conflicts: 733000 | #Constraints: 32868
958.96/961.52 c #Conflicts: 734000 | #Constraints: 33868
958.96/961.52 c #Conflicts: 735000 | #Constraints: 34868
958.96/961.52 c #Conflicts: 736000 | #Constraints: 35868
958.96/961.52 c #Conflicts: 737000 | #Constraints: 36868
958.96/961.52 c #Conflicts: 738000 | #Constraints: 37868
958.96/961.52 c #Conflicts: 739000 | #Constraints: 38868
958.96/961.52 c #Conflicts: 740000 | #Constraints: 39868
958.96/961.52 c #Conflicts: 741000 | #Constraints: 40868
958.96/961.52 c #Conflicts: 742000 | #Constraints: 41868
958.96/961.52 c #Conflicts: 743000 | #Constraints: 42868
958.96/961.52 c #Conflicts: 744000 | #Constraints: 43868
958.96/961.52 c INPROCESSING
958.96/961.52 c GARBAGE COLLECT
958.96/961.52 c #Conflicts: 745000 | #Constraints: 25969
958.96/961.52 c #Conflicts: 746000 | #Constraints: 26969
958.96/961.52 c #Conflicts: 747000 | #Constraints: 27969
958.96/961.52 c #Conflicts: 748000 | #Constraints: 28969
958.96/961.52 c #Conflicts: 749000 | #Constraints: 29969
1128.35/1131.34 c #Conflicts: 750000 | #Constraints: 30969
1128.35/1131.34 c #Conflicts: 751000 | #Constraints: 31969
1128.35/1131.34 c #Conflicts: 752000 | #Constraints: 32969
1128.35/1131.34 c #Conflicts: 753000 | #Constraints: 33969
1128.35/1131.34 c #Conflicts: 754000 | #Constraints: 34969
1128.35/1131.34 c #Conflicts: 755000 | #Constraints: 35969
1128.35/1131.34 c #Conflicts: 756000 | #Constraints: 36969
1128.35/1131.34 c #Conflicts: 757000 | #Constraints: 37969
1128.35/1131.34 c #Conflicts: 758000 | #Constraints: 38969
1128.35/1131.34 c #Conflicts: 759000 | #Constraints: 39969
1128.35/1131.34 c #Conflicts: 760000 | #Constraints: 40969
1128.35/1131.34 c #Conflicts: 761000 | #Constraints: 41969
1128.35/1131.34 c #Conflicts: 762000 | #Constraints: 42969
1128.35/1131.34 c #Conflicts: 763000 | #Constraints: 43969
1128.35/1131.34 c #Conflicts: 764000 | #Constraints: 44969
1128.35/1131.34 c #Conflicts: 765000 | #Constraints: 45969
1128.35/1131.34 c #Conflicts: 766000 | #Constraints: 46969
1128.35/1131.34 c #Conflicts: 767000 | #Constraints: 47969
1128.35/1131.34 c #Conflicts: 768000 | #Constraints: 48969
1128.35/1131.34 c #Conflicts: 769000 | #Constraints: 49969
1128.35/1131.34 c #Conflicts: 770000 | #Constraints: 50969
1128.35/1131.34 c #Conflicts: 771000 | #Constraints: 51969
1128.35/1131.34 c #Conflicts: 772000 | #Constraints: 52969
1128.35/1131.34 c #Conflicts: 773000 | #Constraints: 53969
1128.35/1131.34 c #Conflicts: 774000 | #Constraints: 54969
1128.35/1131.34 c #Conflicts: 775000 | #Constraints: 55969
1128.35/1131.34 c #Conflicts: 776000 | #Constraints: 56969
1128.35/1131.34 c #Conflicts: 777000 | #Constraints: 57969
1128.35/1131.34 c #Conflicts: 778000 | #Constraints: 58969
1128.35/1131.34 c #Conflicts: 779000 | #Constraints: 59969
1128.35/1131.34 c #Conflicts: 780000 | #Constraints: 60969
1128.35/1131.34 c #Conflicts: 781000 | #Constraints: 61969
1128.35/1131.34 c #Conflicts: 782000 | #Constraints: 62969
1128.35/1131.34 c #Conflicts: 783000 | #Constraints: 63969
1128.35/1131.34 c #Conflicts: 784000 | #Constraints: 64969
1128.35/1131.34 c #Conflicts: 785000 | #Constraints: 65969
1128.35/1131.34 c #Conflicts: 786000 | #Constraints: 66969
1128.35/1131.34 c #Conflicts: 787000 | #Constraints: 67969
1128.35/1131.34 c #Conflicts: 788000 | #Constraints: 68969
1128.35/1131.34 c #Conflicts: 789000 | #Constraints: 69969
1128.35/1131.34 c #Conflicts: 790000 | #Constraints: 70969
1128.35/1131.34 c #Conflicts: 791000 | #Constraints: 71969
1128.35/1131.34 c #Conflicts: 792000 | #Constraints: 72969
1128.35/1131.34 c #Conflicts: 793000 | #Constraints: 73969
1128.35/1131.34 c #Conflicts: 794000 | #Constraints: 74969
1128.35/1131.34 c #Conflicts: 795000 | #Constraints: 75969
1128.35/1131.34 c #Conflicts: 796000 | #Constraints: 76969
1128.35/1131.34 c #Conflicts: 797000 | #Constraints: 77969
1128.35/1131.34 c #Conflicts: 798000 | #Constraints: 78969
1128.35/1131.34 c #Conflicts: 799000 | #Constraints: 79969
1128.35/1131.34 c #Conflicts: 800000 | #Constraints: 80969
1128.35/1131.34 c #Conflicts: 801000 | #Constraints: 81969
1128.35/1131.34 c #Conflicts: 802000 | #Constraints: 82969
1128.35/1131.34 c #Conflicts: 803000 | #Constraints: 83969
1128.35/1131.34 c #Conflicts: 804000 | #Constraints: 84969
1128.35/1131.34 c #Conflicts: 805000 | #Constraints: 85969
1128.35/1131.34 c #Conflicts: 806000 | #Constraints: 86969
1128.35/1131.34 c #Conflicts: 807000 | #Constraints: 87969
1128.35/1131.34 c #Conflicts: 808000 | #Constraints: 88969
1128.35/1131.34 c #Conflicts: 809000 | #Constraints: 89969
1128.35/1131.34 c #Conflicts: 810000 | #Constraints: 90969
1128.35/1131.34 c #Conflicts: 811000 | #Constraints: 91969
1128.35/1131.34 c #Conflicts: 812000 | #Constraints: 92969
1128.35/1131.34 c #Conflicts: 813000 | #Constraints: 93969
1128.35/1131.34 c #Conflicts: 814000 | #Constraints: 94969
1128.35/1131.34 c #Conflicts: 815000 | #Constraints: 95969
1128.35/1131.34 c #Conflicts: 816000 | #Constraints: 96969
1128.35/1131.34 c #Conflicts: 817000 | #Constraints: 97969
1128.35/1131.34 c INPROCESSING
1128.35/1131.34 c GARBAGE COLLECT
1128.35/1131.34 c rational objective 81
1170.25/1173.39 c #Conflicts: 818000 | #Constraints: 52840
1170.25/1173.39 c #Conflicts: 819000 | #Constraints: 53840
1170.25/1173.39 c #Conflicts: 820000 | #Constraints: 54840
1170.25/1173.39 c #Conflicts: 821000 | #Constraints: 55840
1170.25/1173.39 c #Conflicts: 822000 | #Constraints: 56840
1170.25/1173.39 c #Conflicts: 823000 | #Constraints: 57840
1170.25/1173.39 c #Conflicts: 824000 | #Constraints: 58840
1170.25/1173.39 c #Conflicts: 825000 | #Constraints: 59840
1170.25/1173.39 c #Conflicts: 826000 | #Constraints: 60840
1170.25/1173.39 c #Conflicts: 827000 | #Constraints: 61840
1170.25/1173.39 c #Conflicts: 828000 | #Constraints: 62840
1170.25/1173.39 c #Conflicts: 829000 | #Constraints: 63840
1170.25/1173.39 c #Conflicts: 830000 | #Constraints: 64840
1170.25/1173.39 c #Conflicts: 831000 | #Constraints: 65840
1170.25/1173.39 c #Conflicts: 832000 | #Constraints: 66840
1170.25/1173.39 c #Conflicts: 833000 | #Constraints: 67840
1170.25/1173.39 c #Conflicts: 834000 | #Constraints: 68840
1170.25/1173.39 c #Conflicts: 835000 | #Constraints: 69840
1170.25/1173.39 c #Conflicts: 836000 | #Constraints: 70840
1170.25/1173.39 c #Conflicts: 837000 | #Constraints: 71840
1170.25/1173.39 c INPROCESSING
1170.25/1173.39 c GARBAGE COLLECT
1170.25/1173.39 c rational objective 81
1209.35/1212.54 c #Conflicts: 838000 | #Constraints: 40035
1209.35/1212.54 c #Conflicts: 839000 | #Constraints: 41035
1209.35/1212.54 c #Conflicts: 840000 | #Constraints: 42035
1209.35/1212.54 c #Conflicts: 841000 | #Constraints: 43035
1209.35/1212.54 c #Conflicts: 842000 | #Constraints: 44035
1209.35/1212.54 c #Conflicts: 843000 | #Constraints: 45035
1209.35/1212.54 c #Conflicts: 844000 | #Constraints: 46035
1209.35/1212.54 c #Conflicts: 845000 | #Constraints: 47035
1209.35/1212.54 c #Conflicts: 846000 | #Constraints: 48035
1209.35/1212.54 c #Conflicts: 847000 | #Constraints: 49035
1209.35/1212.54 c #Conflicts: 848000 | #Constraints: 50035
1209.35/1212.54 c #Conflicts: 849000 | #Constraints: 51035
1209.35/1212.54 c #Conflicts: 850000 | #Constraints: 52035
1209.35/1212.54 c #Conflicts: 851000 | #Constraints: 53035
1209.35/1212.54 c #Conflicts: 852000 | #Constraints: 54035
1209.35/1212.54 c #Conflicts: 853000 | #Constraints: 55035
1209.35/1212.54 c #Conflicts: 854000 | #Constraints: 56035
1209.35/1212.54 c #Conflicts: 855000 | #Constraints: 57035
1209.35/1212.54 c #Conflicts: 856000 | #Constraints: 58035
1209.35/1212.54 c INPROCESSING
1209.35/1212.54 c GARBAGE COLLECT
1209.35/1212.54 c rational objective 81
1264.32/1267.69 c #Conflicts: 857000 | #Constraints: 32808
1264.32/1267.69 c #Conflicts: 858000 | #Constraints: 33808
1264.32/1267.69 c #Conflicts: 859000 | #Constraints: 34808
1264.32/1267.69 c #Conflicts: 860000 | #Constraints: 35808
1264.32/1267.69 c #Conflicts: 861000 | #Constraints: 36808
1264.32/1267.69 c #Conflicts: 862000 | #Constraints: 37808
1264.32/1267.69 c #Conflicts: 863000 | #Constraints: 38808
1264.32/1267.69 c #Conflicts: 864000 | #Constraints: 39808
1264.32/1267.69 c #Conflicts: 865000 | #Constraints: 40808
1264.32/1267.69 c #Conflicts: 866000 | #Constraints: 41808
1264.32/1267.69 c #Conflicts: 867000 | #Constraints: 42808
1264.32/1267.69 c #Conflicts: 868000 | #Constraints: 43808
1264.32/1267.69 c #Conflicts: 869000 | #Constraints: 44808
1264.32/1267.69 c #Conflicts: 870000 | #Constraints: 45808
1264.32/1267.69 c #Conflicts: 871000 | #Constraints: 46808
1264.32/1267.69 c #Conflicts: 872000 | #Constraints: 47808
1264.32/1267.69 c #Conflicts: 873000 | #Constraints: 48808
1264.32/1267.69 c #Conflicts: 874000 | #Constraints: 49808
1264.32/1267.69 c #Conflicts: 875000 | #Constraints: 50808
1264.32/1267.69 c #Conflicts: 876000 | #Constraints: 51808
1264.32/1267.69 c INPROCESSING
1264.32/1267.69 c GARBAGE COLLECT
1264.32/1267.69 c #Conflicts: 877000 | #Constraints: 29573
1264.32/1267.69 c #Conflicts: 878000 | #Constraints: 30573
1264.32/1267.69 c #Conflicts: 879000 | #Constraints: 31573
1264.32/1267.69 c #Conflicts: 880000 | #Constraints: 32573
1264.32/1267.69 c #Conflicts: 881000 | #Constraints: 33573
1264.32/1267.69 c #Conflicts: 882000 | #Constraints: 34573
1264.32/1267.69 c #Conflicts: 883000 | #Constraints: 35573
1264.32/1267.69 c #Conflicts: 884000 | #Constraints: 36573
1264.32/1267.69 c #Conflicts: 885000 | #Constraints: 37573
1264.32/1267.69 c #Conflicts: 886000 | #Constraints: 38573
1264.32/1267.69 c #Conflicts: 887000 | #Constraints: 39573
1264.32/1267.69 c #Conflicts: 888000 | #Constraints: 40573
1264.32/1267.69 c #Conflicts: 889000 | #Constraints: 41573
1264.32/1267.69 c #Conflicts: 890000 | #Constraints: 42573
1264.32/1267.69 c #Conflicts: 891000 | #Constraints: 43573
1264.32/1267.69 c #Conflicts: 892000 | #Constraints: 44573
1264.32/1267.69 c #Conflicts: 893000 | #Constraints: 45573
1264.32/1267.69 c #Conflicts: 894000 | #Constraints: 46573
1264.32/1267.69 c #Conflicts: 895000 | #Constraints: 47573
1264.32/1267.69 c #Conflicts: 896000 | #Constraints: 48573
1264.32/1267.69 c #Conflicts: 897000 | #Constraints: 49573
1264.32/1267.69 c INPROCESSING
1264.32/1267.69 c GARBAGE COLLECT
1264.32/1267.69 c rational objective 81
1402.87/1406.54 c #Conflicts: 898000 | #Constraints: 28866
1402.87/1406.54 c #Conflicts: 899000 | #Constraints: 29866
1402.87/1406.54 c #Conflicts: 900000 | #Constraints: 30866
1402.87/1406.54 c #Conflicts: 901000 | #Constraints: 31866
1402.87/1406.54 c #Conflicts: 902000 | #Constraints: 32866
1402.87/1406.54 c #Conflicts: 903000 | #Constraints: 33866
1402.87/1406.54 c #Conflicts: 904000 | #Constraints: 34866
1402.87/1406.54 c #Conflicts: 905000 | #Constraints: 35866
1402.87/1406.54 c #Conflicts: 906000 | #Constraints: 36866
1402.87/1406.54 c #Conflicts: 907000 | #Constraints: 37866
1402.87/1406.54 c #Conflicts: 908000 | #Constraints: 38866
1402.87/1406.54 c #Conflicts: 909000 | #Constraints: 39866
1402.87/1406.54 c #Conflicts: 910000 | #Constraints: 40866
1402.87/1406.54 c #Conflicts: 911000 | #Constraints: 41866
1402.87/1406.54 c #Conflicts: 912000 | #Constraints: 42866
1402.87/1406.54 c #Conflicts: 913000 | #Constraints: 43866
1402.87/1406.54 c #Conflicts: 914000 | #Constraints: 44866
1402.87/1406.54 c #Conflicts: 915000 | #Constraints: 45866
1402.87/1406.54 c #Conflicts: 916000 | #Constraints: 46866
1402.87/1406.54 c #Conflicts: 917000 | #Constraints: 47866
1402.87/1406.54 c INPROCESSING
1402.87/1406.54 c GARBAGE COLLECT
1402.87/1406.54 c #Conflicts: 918000 | #Constraints: 27830
1402.87/1406.54 c #Conflicts: 919000 | #Constraints: 28830
1402.87/1406.54 c #Conflicts: 920000 | #Constraints: 29830
1402.87/1406.54 c #Conflicts: 921000 | #Constraints: 30830
1402.87/1406.54 c #Conflicts: 922000 | #Constraints: 31830
1402.87/1406.54 c #Conflicts: 923000 | #Constraints: 32830
1402.87/1406.54 c #Conflicts: 924000 | #Constraints: 33830
1402.87/1406.54 c #Conflicts: 925000 | #Constraints: 34830
1402.87/1406.54 c #Conflicts: 926000 | #Constraints: 35830
1402.87/1406.54 c #Conflicts: 927000 | #Constraints: 36831
1402.87/1406.54 c #Conflicts: 928000 | #Constraints: 37831
1402.87/1406.54 c #Conflicts: 929000 | #Constraints: 38831
1402.87/1406.54 c #Conflicts: 930000 | #Constraints: 39831
1402.87/1406.54 c #Conflicts: 931000 | #Constraints: 40831
1402.87/1406.54 c #Conflicts: 932000 | #Constraints: 41831
1402.87/1406.54 c #Conflicts: 933000 | #Constraints: 42831
1402.87/1406.54 c #Conflicts: 934000 | #Constraints: 43831
1402.87/1406.54 c #Conflicts: 935000 | #Constraints: 44831
1402.87/1406.54 c #Conflicts: 936000 | #Constraints: 45831
1402.87/1406.54 c #Conflicts: 937000 | #Constraints: 46831
1402.87/1406.54 c #Conflicts: 938000 | #Constraints: 47831
1402.87/1406.54 c #Conflicts: 939000 | #Constraints: 48831
1402.87/1406.54 c #Conflicts: 940000 | #Constraints: 49831
1402.87/1406.54 c #Conflicts: 941000 | #Constraints: 50831
1402.87/1406.54 c #Conflicts: 942000 | #Constraints: 51831
1402.87/1406.54 c #Conflicts: 943000 | #Constraints: 52831
1402.87/1406.54 c #Conflicts: 944000 | #Constraints: 53831
1402.87/1406.54 c #Conflicts: 945000 | #Constraints: 54831
1402.87/1406.54 c #Conflicts: 946000 | #Constraints: 55831
1402.87/1406.54 c #Conflicts: 947000 | #Constraints: 56831
1402.87/1406.54 c #Conflicts: 948000 | #Constraints: 57831
1402.87/1406.54 c #Conflicts: 949000 | #Constraints: 58831
1402.87/1406.54 c #Conflicts: 950000 | #Constraints: 59831
1402.87/1406.54 c #Conflicts: 951000 | #Constraints: 60831
1402.87/1406.54 c #Conflicts: 952000 | #Constraints: 61831
1402.87/1406.54 c #Conflicts: 953000 | #Constraints: 62831
1402.87/1406.54 c #Conflicts: 954000 | #Constraints: 63831
1402.87/1406.54 c #Conflicts: 955000 | #Constraints: 64831
1402.87/1406.54 c #Conflicts: 956000 | #Constraints: 65831
1402.87/1406.54 c #Conflicts: 957000 | #Constraints: 66831
1402.87/1406.54 c #Conflicts: 958000 | #Constraints: 67831
1402.87/1406.54 c #Conflicts: 959000 | #Constraints: 68831
1402.87/1406.54 c #Conflicts: 960000 | #Constraints: 69831
1402.87/1406.54 c #Conflicts: 961000 | #Constraints: 70831
1402.87/1406.54 c #Conflicts: 962000 | #Constraints: 71831
1402.87/1406.54 c #Conflicts: 963000 | #Constraints: 72831
1402.87/1406.54 c #Conflicts: 964000 | #Constraints: 73831
1402.87/1406.54 c #Conflicts: 965000 | #Constraints: 74831
1402.87/1406.54 c #Conflicts: 966000 | #Constraints: 75831
1402.87/1406.54 c #Conflicts: 967000 | #Constraints: 76831
1402.87/1406.54 c #Conflicts: 968000 | #Constraints: 77831
1402.87/1406.54 c #Conflicts: 969000 | #Constraints: 78831
1402.87/1406.54 c #Conflicts: 970000 | #Constraints: 79831
1402.87/1406.54 c #Conflicts: 971000 | #Constraints: 80831
1402.87/1406.54 c #Conflicts: 972000 | #Constraints: 81831
1402.87/1406.54 c #Conflicts: 973000 | #Constraints: 82831
1402.87/1406.54 c #Conflicts: 974000 | #Constraints: 83831
1402.87/1406.54 c #Conflicts: 975000 | #Constraints: 84831
1402.87/1406.54 c #Conflicts: 976000 | #Constraints: 85831
1484.97/1488.84 c #Conflicts: 977000 | #Constraints: 86831
1484.97/1488.84 c #Conflicts: 978000 | #Constraints: 87831
1484.97/1488.84 c #Conflicts: 979000 | #Constraints: 88831
1484.97/1488.84 c #Conflicts: 980000 | #Constraints: 89831
1484.97/1488.84 c #Conflicts: 981000 | #Constraints: 90831
1484.97/1488.84 c #Conflicts: 982000 | #Constraints: 91831
1484.97/1488.84 c #Conflicts: 983000 | #Constraints: 92831
1484.97/1488.84 c #Conflicts: 984000 | #Constraints: 93831
1484.97/1488.84 c #Conflicts: 985000 | #Constraints: 94831
1484.97/1488.84 c #Conflicts: 986000 | #Constraints: 95831
1484.97/1488.84 c #Conflicts: 987000 | #Constraints: 96831
1484.97/1488.84 c #Conflicts: 988000 | #Constraints: 97831
1484.97/1488.84 c #Conflicts: 989000 | #Constraints: 98831
1484.97/1488.84 c #Conflicts: 990000 | #Constraints: 99831
1484.97/1488.84 c #Conflicts: 991000 | #Constraints: 100831
1484.97/1488.84 c #Conflicts: 992000 | #Constraints: 101831
1484.97/1488.84 c #Conflicts: 993000 | #Constraints: 102831
1484.97/1488.84 c #Conflicts: 994000 | #Constraints: 103831
1484.97/1488.84 c #Conflicts: 995000 | #Constraints: 104831
1484.97/1488.84 c #Conflicts: 996000 | #Constraints: 105831
1484.97/1488.84 c #Conflicts: 997000 | #Constraints: 106831
1484.97/1488.84 c #Conflicts: 998000 | #Constraints: 107831
1484.97/1488.84 c INPROCESSING
1484.97/1488.84 c GARBAGE COLLECT
1484.97/1488.84 c rational objective 81
1541.82/1545.83 c #Conflicts: 999000 | #Constraints: 57912
1541.82/1545.83 c #Conflicts: 1000000 | #Constraints: 58912
1541.82/1545.83 c #Conflicts: 1001000 | #Constraints: 59912
1541.82/1545.83 c #Conflicts: 1002000 | #Constraints: 60912
1541.82/1545.83 c #Conflicts: 1003000 | #Constraints: 61912
1541.82/1545.83 c #Conflicts: 1004000 | #Constraints: 62912
1541.82/1545.83 c #Conflicts: 1005000 | #Constraints: 63912
1541.82/1545.83 c #Conflicts: 1006000 | #Constraints: 64912
1541.82/1545.83 c #Conflicts: 1007000 | #Constraints: 65912
1541.82/1545.83 c #Conflicts: 1008000 | #Constraints: 66912
1541.82/1545.83 c #Conflicts: 1009000 | #Constraints: 67912
1541.82/1545.83 c #Conflicts: 1010000 | #Constraints: 68912
1541.82/1545.83 c #Conflicts: 1011000 | #Constraints: 69912
1541.82/1545.83 c #Conflicts: 1012000 | #Constraints: 70912
1541.82/1545.83 c #Conflicts: 1013000 | #Constraints: 71912
1541.82/1545.83 c #Conflicts: 1014000 | #Constraints: 72912
1541.82/1545.83 c #Conflicts: 1015000 | #Constraints: 73912
1541.82/1545.83 c #Conflicts: 1016000 | #Constraints: 74912
1541.82/1545.83 c #Conflicts: 1017000 | #Constraints: 75912
1541.82/1545.83 c #Conflicts: 1018000 | #Constraints: 76912
1541.82/1545.83 c #Conflicts: 1019000 | #Constraints: 77912
1541.82/1545.83 c #Conflicts: 1020000 | #Constraints: 78912
1541.82/1545.83 c INPROCESSING
1541.82/1545.83 c GARBAGE COLLECT
1541.82/1545.83 c rational objective 81
1657.81/1662.12 c #Conflicts: 1021000 | #Constraints: 43582
1657.81/1662.12 c #Conflicts: 1022000 | #Constraints: 44582
1657.81/1662.12 c #Conflicts: 1023000 | #Constraints: 45582
1657.81/1662.12 c #Conflicts: 1024000 | #Constraints: 46582
1657.81/1662.12 c #Conflicts: 1025000 | #Constraints: 47582
1657.81/1662.12 c #Conflicts: 1026000 | #Constraints: 48582
1657.81/1662.12 c #Conflicts: 1027000 | #Constraints: 49582
1657.81/1662.12 c #Conflicts: 1028000 | #Constraints: 50582
1657.81/1662.12 c #Conflicts: 1029000 | #Constraints: 51582
1657.81/1662.12 c #Conflicts: 1030000 | #Constraints: 52582
1657.81/1662.12 c #Conflicts: 1031000 | #Constraints: 53582
1657.81/1662.12 c #Conflicts: 1032000 | #Constraints: 54582
1657.81/1662.12 c #Conflicts: 1033000 | #Constraints: 55582
1657.81/1662.12 c #Conflicts: 1034000 | #Constraints: 56582
1657.81/1662.12 c #Conflicts: 1035000 | #Constraints: 57582
1657.81/1662.12 c #Conflicts: 1036000 | #Constraints: 58582
1657.81/1662.12 c #Conflicts: 1037000 | #Constraints: 59582
1657.81/1662.12 c #Conflicts: 1038000 | #Constraints: 60582
1657.81/1662.12 c #Conflicts: 1039000 | #Constraints: 61582
1657.81/1662.12 c #Conflicts: 1040000 | #Constraints: 62582
1657.81/1662.12 c #Conflicts: 1041000 | #Constraints: 63582
1657.81/1662.12 c INPROCESSING
1657.81/1662.12 c GARBAGE COLLECT
1657.81/1662.12 c #Conflicts: 1042000 | #Constraints: 35390
1657.81/1662.12 c #Conflicts: 1043000 | #Constraints: 36390
1657.81/1662.12 c #Conflicts: 1044000 | #Constraints: 37390
1657.81/1662.12 c #Conflicts: 1045000 | #Constraints: 38390
1657.81/1662.12 c #Conflicts: 1046000 | #Constraints: 39390
1657.81/1662.12 c #Conflicts: 1047000 | #Constraints: 40390
1657.81/1662.12 c #Conflicts: 1048000 | #Constraints: 41390
1657.81/1662.12 c #Conflicts: 1049000 | #Constraints: 42390
1657.81/1662.12 c #Conflicts: 1050000 | #Constraints: 43390
1657.81/1662.12 c #Conflicts: 1051000 | #Constraints: 44390
1657.81/1662.12 c #Conflicts: 1052000 | #Constraints: 45390
1657.81/1662.12 c #Conflicts: 1053000 | #Constraints: 46390
1657.81/1662.12 c #Conflicts: 1054000 | #Constraints: 47390
1657.81/1662.12 c #Conflicts: 1055000 | #Constraints: 48390
1657.81/1662.12 c #Conflicts: 1056000 | #Constraints: 49390
1657.81/1662.12 c #Conflicts: 1057000 | #Constraints: 50390
1657.81/1662.12 c #Conflicts: 1058000 | #Constraints: 51390
1657.81/1662.12 c #Conflicts: 1059000 | #Constraints: 52390
1657.81/1662.12 c #Conflicts: 1060000 | #Constraints: 53390
1657.81/1662.12 c #Conflicts: 1061000 | #Constraints: 54390
1657.81/1662.12 c #Conflicts: 1062000 | #Constraints: 55390
1657.81/1662.12 c #Conflicts: 1063000 | #Constraints: 56390
1657.81/1662.12 c #Conflicts: 1064000 | #Constraints: 57390
1657.81/1662.12 c INPROCESSING
1657.81/1662.12 c GARBAGE COLLECT
1657.81/1662.12 c #Conflicts: 1065000 | #Constraints: 32793
1657.81/1662.12 c #Conflicts: 1066000 | #Constraints: 33793
1657.81/1662.12 c #Conflicts: 1067000 | #Constraints: 34793
1657.81/1662.12 c #Conflicts: 1068000 | #Constraints: 35793
1657.81/1662.12 c #Conflicts: 1069000 | #Constraints: 36793
1657.81/1662.12 c #Conflicts: 1070000 | #Constraints: 37793
1657.81/1662.12 c #Conflicts: 1071000 | #Constraints: 38793
1657.81/1662.12 c #Conflicts: 1072000 | #Constraints: 39793
1657.81/1662.12 c #Conflicts: 1073000 | #Constraints: 40793
1657.81/1662.12 c #Conflicts: 1074000 | #Constraints: 41793
1657.81/1662.12 c #Conflicts: 1075000 | #Constraints: 42793
1657.81/1662.12 c #Conflicts: 1076000 | #Constraints: 43793
1657.81/1662.12 c #Conflicts: 1077000 | #Constraints: 44793
1657.81/1662.12 c #Conflicts: 1078000 | #Constraints: 45793
1657.81/1662.12 c #Conflicts: 1079000 | #Constraints: 46793
1657.81/1662.12 c #Conflicts: 1080000 | #Constraints: 47793
1657.81/1662.12 c #Conflicts: 1081000 | #Constraints: 48793
1657.81/1662.12 c #Conflicts: 1082000 | #Constraints: 49793
1657.81/1662.12 c #Conflicts: 1083000 | #Constraints: 50793
1657.81/1662.12 c #Conflicts: 1084000 | #Constraints: 51793
1657.81/1662.12 c #Conflicts: 1085000 | #Constraints: 52793
1657.81/1662.12 c #Conflicts: 1086000 | #Constraints: 53793
1657.81/1662.12 c INPROCESSING
1657.81/1662.12 c GARBAGE COLLECT
1657.81/1662.12 c rational objective 81
1704.68/1709.19 c #Conflicts: 1087000 | #Constraints: 30914
1704.68/1709.19 c #Conflicts: 1088000 | #Constraints: 31914
1704.68/1709.19 c #Conflicts: 1089000 | #Constraints: 32914
1704.68/1709.19 c #Conflicts: 1090000 | #Constraints: 33914
1704.68/1709.19 c #Conflicts: 1091000 | #Constraints: 34914
1704.68/1709.19 c #Conflicts: 1092000 | #Constraints: 35914
1704.68/1709.19 c #Conflicts: 1093000 | #Constraints: 36914
1704.68/1709.19 c #Conflicts: 1094000 | #Constraints: 37914
1704.68/1709.19 c #Conflicts: 1095000 | #Constraints: 38914
1704.68/1709.19 c #Conflicts: 1096000 | #Constraints: 39914
1704.68/1709.19 c #Conflicts: 1097000 | #Constraints: 40914
1704.68/1709.19 c #Conflicts: 1098000 | #Constraints: 41914
1704.68/1709.19 c #Conflicts: 1099000 | #Constraints: 42914
1704.68/1709.19 c #Conflicts: 1100000 | #Constraints: 43914
1704.68/1709.19 c #Conflicts: 1101000 | #Constraints: 44914
1704.68/1709.19 c #Conflicts: 1102000 | #Constraints: 45914
1704.68/1709.19 c #Conflicts: 1103000 | #Constraints: 46914
1704.68/1709.19 c #Conflicts: 1104000 | #Constraints: 47914
1704.68/1709.19 c #Conflicts: 1105000 | #Constraints: 48914
1704.68/1709.19 c #Conflicts: 1106000 | #Constraints: 49914
1704.68/1709.19 c #Conflicts: 1107000 | #Constraints: 50914
1704.68/1709.19 c #Conflicts: 1108000 | #Constraints: 51914
1704.68/1709.19 c INPROCESSING
1704.68/1709.19 c GARBAGE COLLECT
1704.68/1709.19 c rational objective 81
1823.68/1828.44 c #Conflicts: 1109000 | #Constraints: 29589
1823.68/1828.44 c #Conflicts: 1110000 | #Constraints: 30589
1823.68/1828.44 c #Conflicts: 1111000 | #Constraints: 31589
1823.68/1828.44 c #Conflicts: 1112000 | #Constraints: 32589
1823.68/1828.44 c #Conflicts: 1113000 | #Constraints: 33589
1823.68/1828.44 c #Conflicts: 1114000 | #Constraints: 34589
1823.68/1828.44 c #Conflicts: 1115000 | #Constraints: 35589
1823.68/1828.44 c #Conflicts: 1116000 | #Constraints: 36589
1823.68/1828.44 c #Conflicts: 1117000 | #Constraints: 37589
1823.68/1828.44 c #Conflicts: 1118000 | #Constraints: 38589
1823.68/1828.44 c #Conflicts: 1119000 | #Constraints: 39589
1823.68/1828.44 c #Conflicts: 1120000 | #Constraints: 40589
1823.68/1828.44 c #Conflicts: 1121000 | #Constraints: 41589
1823.68/1828.44 c #Conflicts: 1122000 | #Constraints: 42589
1823.68/1828.44 c #Conflicts: 1123000 | #Constraints: 43589
1823.68/1828.44 c #Conflicts: 1124000 | #Constraints: 44589
1823.68/1828.44 c #Conflicts: 1125000 | #Constraints: 45589
1823.68/1828.44 c #Conflicts: 1126000 | #Constraints: 46589
1823.68/1828.44 c #Conflicts: 1127000 | #Constraints: 47589
1823.68/1828.44 c #Conflicts: 1128000 | #Constraints: 48589
1823.68/1828.44 c #Conflicts: 1129000 | #Constraints: 49589
1823.68/1828.44 c #Conflicts: 1130000 | #Constraints: 50589
1823.68/1828.44 c #Conflicts: 1131000 | #Constraints: 51589
1823.68/1828.44 c INPROCESSING
1823.68/1828.44 c GARBAGE COLLECT
1823.68/1828.44 c #Conflicts: 1132000 | #Constraints: 29639
1823.68/1828.44 c #Conflicts: 1133000 | #Constraints: 30639
1823.68/1828.44 c #Conflicts: 1134000 | #Constraints: 31639
1823.68/1828.44 c #Conflicts: 1135000 | #Constraints: 32640
1823.68/1828.44 c #Conflicts: 1136000 | #Constraints: 33640
1823.68/1828.44 c #Conflicts: 1137000 | #Constraints: 34640
1823.68/1828.44 c #Conflicts: 1138000 | #Constraints: 35640
1823.68/1828.44 c #Conflicts: 1139000 | #Constraints: 36640
1823.68/1828.44 c #Conflicts: 1140000 | #Constraints: 37640
1823.68/1828.44 c #Conflicts: 1141000 | #Constraints: 38640
1823.68/1828.44 c #Conflicts: 1142000 | #Constraints: 39640
1823.68/1828.44 c #Conflicts: 1143000 | #Constraints: 40640
1823.68/1828.44 c #Conflicts: 1144000 | #Constraints: 41640
1823.68/1828.44 c #Conflicts: 1145000 | #Constraints: 42640
1823.68/1828.44 c #Conflicts: 1146000 | #Constraints: 43640
1823.68/1828.44 c #Conflicts: 1147000 | #Constraints: 44640
1823.68/1828.44 c #Conflicts: 1148000 | #Constraints: 45640
1823.68/1828.44 c #Conflicts: 1149000 | #Constraints: 46640
1823.68/1828.44 c #Conflicts: 1150000 | #Constraints: 47640
1823.68/1828.44 c #Conflicts: 1151000 | #Constraints: 48640
1823.68/1828.44 c #Conflicts: 1152000 | #Constraints: 49640
1823.68/1828.44 c #Conflicts: 1153000 | #Constraints: 50640
1823.68/1828.44 c #Conflicts: 1154000 | #Constraints: 51640
1823.68/1828.44 c INPROCESSING
1823.68/1828.44 c GARBAGE COLLECT
1823.68/1828.44 c #Conflicts: 1155000 | #Constraints: 29696
1823.68/1828.44 c #Conflicts: 1156000 | #Constraints: 30696
1823.68/1828.44 c #Conflicts: 1157000 | #Constraints: 31696
1823.68/1828.44 c #Conflicts: 1158000 | #Constraints: 32696
1823.68/1828.44 c #Conflicts: 1159000 | #Constraints: 33696
1823.68/1828.44 c #Conflicts: 1160000 | #Constraints: 34696
1823.68/1828.44 c #Conflicts: 1161000 | #Constraints: 35696
1823.68/1828.44 c #Conflicts: 1162000 | #Constraints: 36696
1823.68/1828.44 c #Conflicts: 1163000 | #Constraints: 37696
1823.68/1828.44 c #Conflicts: 1164000 | #Constraints: 38696
1823.68/1828.44 c #Conflicts: 1165000 | #Constraints: 39696
1823.68/1828.44 c #Conflicts: 1166000 | #Constraints: 40696
1823.68/1828.44 c #Conflicts: 1167000 | #Constraints: 41696
1823.68/1828.44 c #Conflicts: 1168000 | #Constraints: 42696
1823.68/1828.44 c #Conflicts: 1169000 | #Constraints: 43696
1823.68/1828.44 c #Conflicts: 1170000 | #Constraints: 44696
1823.68/1828.44 c #Conflicts: 1171000 | #Constraints: 45696
1823.68/1828.44 c #Conflicts: 1172000 | #Constraints: 46696
1823.68/1828.44 c #Conflicts: 1173000 | #Constraints: 47696
1823.68/1828.44 c #Conflicts: 1174000 | #Constraints: 48696
1823.68/1828.44 c #Conflicts: 1175000 | #Constraints: 49696
1823.68/1828.44 c #Conflicts: 1176000 | #Constraints: 50696
1823.68/1828.44 c #Conflicts: 1177000 | #Constraints: 51696
1823.68/1828.44 c #Conflicts: 1178000 | #Constraints: 52696
1823.68/1828.44 c #Conflicts: 1179000 | #Constraints: 53696
1823.68/1828.44 c #Conflicts: 1180000 | #Constraints: 54696
1823.68/1828.44 c #Conflicts: 1181000 | #Constraints: 55696
1823.68/1828.44 c #Conflicts: 1182000 | #Constraints: 56696
1823.68/1828.44 c #Conflicts: 1183000 | #Constraints: 57696
1823.68/1828.44 c #Conflicts: 1184000 | #Constraints: 58696
1823.68/1828.44 c #Conflicts: 1185000 | #Constraints: 59696
1823.68/1828.44 c #Conflicts: 1186000 | #Constraints: 60696
2055.73/2061.02 c #Conflicts: 1187000 | #Constraints: 61696
2055.73/2061.02 c #Conflicts: 1188000 | #Constraints: 62696
2055.73/2061.02 c #Conflicts: 1189000 | #Constraints: 63696
2055.73/2061.02 c #Conflicts: 1190000 | #Constraints: 64696
2055.73/2061.02 c #Conflicts: 1191000 | #Constraints: 65696
2055.73/2061.02 c #Conflicts: 1192000 | #Constraints: 66696
2055.73/2061.02 c #Conflicts: 1193000 | #Constraints: 67696
2055.73/2061.02 c #Conflicts: 1194000 | #Constraints: 68696
2055.73/2061.02 c #Conflicts: 1195000 | #Constraints: 69696
2055.73/2061.02 c #Conflicts: 1196000 | #Constraints: 70696
2055.73/2061.02 c #Conflicts: 1197000 | #Constraints: 71696
2055.73/2061.02 c #Conflicts: 1198000 | #Constraints: 72696
2055.73/2061.02 c #Conflicts: 1199000 | #Constraints: 73696
2055.73/2061.02 c #Conflicts: 1200000 | #Constraints: 74696
2055.73/2061.02 c #Conflicts: 1201000 | #Constraints: 75696
2055.73/2061.02 c #Conflicts: 1202000 | #Constraints: 76696
2055.73/2061.02 c #Conflicts: 1203000 | #Constraints: 77696
2055.73/2061.02 c #Conflicts: 1204000 | #Constraints: 78696
2055.73/2061.02 c #Conflicts: 1205000 | #Constraints: 79696
2055.73/2061.02 c #Conflicts: 1206000 | #Constraints: 80696
2055.73/2061.02 c #Conflicts: 1207000 | #Constraints: 81696
2055.73/2061.02 c #Conflicts: 1208000 | #Constraints: 82696
2055.73/2061.02 c #Conflicts: 1209000 | #Constraints: 83696
2055.73/2061.02 c #Conflicts: 1210000 | #Constraints: 84696
2055.73/2061.02 c #Conflicts: 1211000 | #Constraints: 85696
2055.73/2061.02 c #Conflicts: 1212000 | #Constraints: 86696
2055.73/2061.02 c #Conflicts: 1213000 | #Constraints: 87696
2055.73/2061.02 c #Conflicts: 1214000 | #Constraints: 88696
2055.73/2061.02 c #Conflicts: 1215000 | #Constraints: 89696
2055.73/2061.02 c #Conflicts: 1216000 | #Constraints: 90696
2055.73/2061.02 c #Conflicts: 1217000 | #Constraints: 91696
2055.73/2061.02 c #Conflicts: 1218000 | #Constraints: 92696
2055.73/2061.02 c #Conflicts: 1219000 | #Constraints: 93696
2055.73/2061.02 c #Conflicts: 1220000 | #Constraints: 94696
2055.73/2061.02 c #Conflicts: 1221000 | #Constraints: 95696
2055.73/2061.02 c #Conflicts: 1222000 | #Constraints: 96696
2055.73/2061.02 c #Conflicts: 1223000 | #Constraints: 97696
2055.73/2061.02 c #Conflicts: 1224000 | #Constraints: 98696
2055.73/2061.02 c #Conflicts: 1225000 | #Constraints: 99696
2055.73/2061.02 c #Conflicts: 1226000 | #Constraints: 100696
2055.73/2061.02 c #Conflicts: 1227000 | #Constraints: 101696
2055.73/2061.02 c #Conflicts: 1228000 | #Constraints: 102696
2055.73/2061.02 c #Conflicts: 1229000 | #Constraints: 103696
2055.73/2061.02 c #Conflicts: 1230000 | #Constraints: 104696
2055.73/2061.02 c #Conflicts: 1231000 | #Constraints: 105696
2055.73/2061.02 c #Conflicts: 1232000 | #Constraints: 106696
2055.73/2061.02 c #Conflicts: 1233000 | #Constraints: 107696
2055.73/2061.02 c #Conflicts: 1234000 | #Constraints: 108696
2055.73/2061.02 c #Conflicts: 1235000 | #Constraints: 109696
2055.73/2061.02 c #Conflicts: 1236000 | #Constraints: 110696
2055.73/2061.02 c #Conflicts: 1237000 | #Constraints: 111696
2055.73/2061.02 c #Conflicts: 1238000 | #Constraints: 112696
2055.73/2061.02 c #Conflicts: 1239000 | #Constraints: 113696
2055.73/2061.02 c #Conflicts: 1240000 | #Constraints: 114696
2055.73/2061.02 c #Conflicts: 1241000 | #Constraints: 115696
2055.73/2061.02 c #Conflicts: 1242000 | #Constraints: 116696
2055.73/2061.02 c #Conflicts: 1243000 | #Constraints: 117696
2055.73/2061.02 c #Conflicts: 1244000 | #Constraints: 118696
2055.73/2061.02 c #Conflicts: 1245000 | #Constraints: 119696
2055.73/2061.02 c INPROCESSING
2055.73/2061.02 c GARBAGE COLLECT
2055.73/2061.02 c rational objective 81
2209.54/2215.29 c #Conflicts: 1246000 | #Constraints: 63909
2209.54/2215.29 c #Conflicts: 1247000 | #Constraints: 64909
2209.54/2215.29 c #Conflicts: 1248000 | #Constraints: 65909
2209.54/2215.29 c #Conflicts: 1249000 | #Constraints: 66909
2209.54/2215.29 c #Conflicts: 1250000 | #Constraints: 67909
2209.54/2215.29 c #Conflicts: 1251000 | #Constraints: 68909
2209.54/2215.29 c #Conflicts: 1252000 | #Constraints: 69909
2209.54/2215.29 c #Conflicts: 1253000 | #Constraints: 70909
2209.54/2215.29 c #Conflicts: 1254000 | #Constraints: 71909
2209.54/2215.29 c #Conflicts: 1255000 | #Constraints: 72909
2209.54/2215.29 c #Conflicts: 1256000 | #Constraints: 73909
2209.54/2215.29 c #Conflicts: 1257000 | #Constraints: 74910
2209.54/2215.29 c #Conflicts: 1258000 | #Constraints: 75910
2209.54/2215.29 c #Conflicts: 1259000 | #Constraints: 76910
2209.54/2215.29 c #Conflicts: 1260000 | #Constraints: 77910
2209.54/2215.29 c #Conflicts: 1261000 | #Constraints: 78910
2209.54/2215.29 c #Conflicts: 1262000 | #Constraints: 79910
2209.54/2215.29 c #Conflicts: 1263000 | #Constraints: 80910
2209.54/2215.29 c #Conflicts: 1264000 | #Constraints: 81910
2209.54/2215.29 c #Conflicts: 1265000 | #Constraints: 82910
2209.54/2215.29 c #Conflicts: 1266000 | #Constraints: 83910
2209.54/2215.29 c #Conflicts: 1267000 | #Constraints: 84910
2209.54/2215.29 c #Conflicts: 1268000 | #Constraints: 85910
2209.54/2215.29 c #Conflicts: 1269000 | #Constraints: 86910
2209.54/2215.29 c INPROCESSING
2209.54/2215.29 c GARBAGE COLLECT
2209.54/2215.29 c #Conflicts: 1270000 | #Constraints: 47499
2209.54/2215.29 c #Conflicts: 1271000 | #Constraints: 48499
2209.54/2215.29 c #Conflicts: 1272000 | #Constraints: 49499
2209.54/2215.29 c #Conflicts: 1273000 | #Constraints: 50499
2209.54/2215.29 c #Conflicts: 1274000 | #Constraints: 51499
2209.54/2215.29 c #Conflicts: 1275000 | #Constraints: 52499
2209.54/2215.29 c #Conflicts: 1276000 | #Constraints: 53499
2209.54/2215.29 c #Conflicts: 1277000 | #Constraints: 54499
2209.54/2215.29 c #Conflicts: 1278000 | #Constraints: 55499
2209.54/2215.29 c #Conflicts: 1279000 | #Constraints: 56499
2209.54/2215.29 c #Conflicts: 1280000 | #Constraints: 57499
2209.54/2215.29 c #Conflicts: 1281000 | #Constraints: 58499
2209.54/2215.29 c #Conflicts: 1282000 | #Constraints: 59499
2209.54/2215.29 c #Conflicts: 1283000 | #Constraints: 60499
2209.54/2215.29 c #Conflicts: 1284000 | #Constraints: 61499
2209.54/2215.29 c #Conflicts: 1285000 | #Constraints: 62499
2209.54/2215.29 c #Conflicts: 1286000 | #Constraints: 63499
2209.54/2215.29 c #Conflicts: 1287000 | #Constraints: 64499
2209.54/2215.29 c #Conflicts: 1288000 | #Constraints: 65499
2209.54/2215.29 c #Conflicts: 1289000 | #Constraints: 66499
2209.54/2215.29 c #Conflicts: 1290000 | #Constraints: 67499
2209.54/2215.29 c #Conflicts: 1291000 | #Constraints: 68499
2209.54/2215.29 c #Conflicts: 1292000 | #Constraints: 69499
2209.54/2215.29 c #Conflicts: 1293000 | #Constraints: 70499
2209.54/2215.29 c INPROCESSING
2209.54/2215.29 c GARBAGE COLLECT
2209.54/2215.29 c #Conflicts: 1294000 | #Constraints: 39034
2209.54/2215.29 c #Conflicts: 1295000 | #Constraints: 40034
2209.54/2215.29 c #Conflicts: 1296000 | #Constraints: 41034
2209.54/2215.29 c #Conflicts: 1297000 | #Constraints: 42034
2209.54/2215.29 c #Conflicts: 1298000 | #Constraints: 43034
2209.54/2215.29 c #Conflicts: 1299000 | #Constraints: 44034
2209.54/2215.29 c #Conflicts: 1300000 | #Constraints: 45034
2209.54/2215.29 c #Conflicts: 1301000 | #Constraints: 46034
2209.54/2215.29 c #Conflicts: 1302000 | #Constraints: 47034
2209.54/2215.29 c #Conflicts: 1303000 | #Constraints: 48034
2209.54/2215.29 c #Conflicts: 1304000 | #Constraints: 49034
2209.54/2215.29 c #Conflicts: 1305000 | #Constraints: 50034
2209.54/2215.29 c #Conflicts: 1306000 | #Constraints: 51034
2209.54/2215.29 c #Conflicts: 1307000 | #Constraints: 52034
2209.54/2215.29 c #Conflicts: 1308000 | #Constraints: 53034
2209.54/2215.29 c #Conflicts: 1309000 | #Constraints: 54034
2209.54/2215.29 c #Conflicts: 1310000 | #Constraints: 55034
2209.54/2215.29 c #Conflicts: 1311000 | #Constraints: 56034
2209.54/2215.29 c #Conflicts: 1312000 | #Constraints: 57034
2209.54/2215.29 c #Conflicts: 1313000 | #Constraints: 58034
2209.54/2215.29 c #Conflicts: 1314000 | #Constraints: 59034
2209.54/2215.29 c #Conflicts: 1315000 | #Constraints: 60034
2209.54/2215.29 c #Conflicts: 1316000 | #Constraints: 61034
2209.54/2215.29 c #Conflicts: 1317000 | #Constraints: 62034
2209.54/2215.29 c #Conflicts: 1318000 | #Constraints: 63034
2209.54/2215.29 c INPROCESSING
2209.54/2215.29 c GARBAGE COLLECT
2209.54/2215.29 c #Conflicts: 1319000 | #Constraints: 35483
2209.54/2215.29 c #Conflicts: 1320000 | #Constraints: 36483
2209.54/2215.29 c #Conflicts: 1321000 | #Constraints: 37483
2209.54/2215.29 c #Conflicts: 1322000 | #Constraints: 38483
2324.26/2330.23 c #Conflicts: 1323000 | #Constraints: 39483
2324.26/2330.23 c #Conflicts: 1324000 | #Constraints: 40483
2324.26/2330.23 c #Conflicts: 1325000 | #Constraints: 41483
2324.26/2330.23 c #Conflicts: 1326000 | #Constraints: 42483
2324.26/2330.23 c #Conflicts: 1327000 | #Constraints: 43483
2324.26/2330.23 c #Conflicts: 1328000 | #Constraints: 44483
2324.26/2330.23 c #Conflicts: 1329000 | #Constraints: 45483
2324.26/2330.23 c #Conflicts: 1330000 | #Constraints: 46483
2324.26/2330.23 c #Conflicts: 1331000 | #Constraints: 47483
2324.26/2330.23 c #Conflicts: 1332000 | #Constraints: 48483
2324.26/2330.23 c #Conflicts: 1333000 | #Constraints: 49483
2324.26/2330.23 c #Conflicts: 1334000 | #Constraints: 50483
2324.26/2330.23 c #Conflicts: 1335000 | #Constraints: 51483
2324.26/2330.23 c #Conflicts: 1336000 | #Constraints: 52483
2324.26/2330.23 c #Conflicts: 1337000 | #Constraints: 53483
2324.26/2330.23 c #Conflicts: 1338000 | #Constraints: 54483
2324.26/2330.23 c #Conflicts: 1339000 | #Constraints: 55483
2324.26/2330.23 c #Conflicts: 1340000 | #Constraints: 56483
2324.26/2330.23 c #Conflicts: 1341000 | #Constraints: 57483
2324.26/2330.23 c #Conflicts: 1342000 | #Constraints: 58483
2324.26/2330.23 c #Conflicts: 1343000 | #Constraints: 59483
2324.26/2330.23 c INPROCESSING
2324.26/2330.23 c GARBAGE COLLECT
2324.26/2330.23 c #Conflicts: 1344000 | #Constraints: 33880
2324.26/2330.23 c #Conflicts: 1345000 | #Constraints: 34880
2324.26/2330.23 c #Conflicts: 1346000 | #Constraints: 35880
2324.26/2330.23 c #Conflicts: 1347000 | #Constraints: 36880
2324.26/2330.23 c #Conflicts: 1348000 | #Constraints: 37880
2324.26/2330.23 c #Conflicts: 1349000 | #Constraints: 38881
2324.26/2330.23 c #Conflicts: 1350000 | #Constraints: 39881
2324.26/2330.23 c #Conflicts: 1351000 | #Constraints: 40881
2324.26/2330.23 c #Conflicts: 1352000 | #Constraints: 41881
2324.26/2330.23 c #Conflicts: 1353000 | #Constraints: 42881
2324.26/2330.23 c #Conflicts: 1354000 | #Constraints: 43881
2324.26/2330.23 c #Conflicts: 1355000 | #Constraints: 44881
2324.26/2330.23 c #Conflicts: 1356000 | #Constraints: 45881
2324.26/2330.23 c #Conflicts: 1357000 | #Constraints: 46881
2324.26/2330.23 c #Conflicts: 1358000 | #Constraints: 47881
2324.26/2330.23 c #Conflicts: 1359000 | #Constraints: 48881
2324.26/2330.23 c #Conflicts: 1360000 | #Constraints: 49881
2324.26/2330.23 c #Conflicts: 1361000 | #Constraints: 50881
2324.26/2330.23 c #Conflicts: 1362000 | #Constraints: 51881
2324.26/2330.23 c #Conflicts: 1363000 | #Constraints: 52881
2324.26/2330.23 c #Conflicts: 1364000 | #Constraints: 53881
2324.26/2330.23 c #Conflicts: 1365000 | #Constraints: 54881
2324.26/2330.23 c #Conflicts: 1366000 | #Constraints: 55881
2324.26/2330.23 c #Conflicts: 1367000 | #Constraints: 56881
2324.26/2330.23 c #Conflicts: 1368000 | #Constraints: 57881
2324.26/2330.23 c INPROCESSING
2324.26/2330.23 c GARBAGE COLLECT
2324.26/2330.23 c #Conflicts: 1369000 | #Constraints: 33016
2324.26/2330.23 c #Conflicts: 1370000 | #Constraints: 34016
2324.26/2330.23 c #Conflicts: 1371000 | #Constraints: 35016
2324.26/2330.23 c #Conflicts: 1372000 | #Constraints: 36016
2324.26/2330.23 c #Conflicts: 1373000 | #Constraints: 37016
2324.26/2330.23 c #Conflicts: 1374000 | #Constraints: 38016
2324.26/2330.23 c #Conflicts: 1375000 | #Constraints: 39017
2324.26/2330.23 c #Conflicts: 1376000 | #Constraints: 40017
2324.26/2330.23 c #Conflicts: 1377000 | #Constraints: 41017
2324.26/2330.23 c #Conflicts: 1378000 | #Constraints: 42017
2324.26/2330.23 c #Conflicts: 1379000 | #Constraints: 43017
2324.26/2330.23 c #Conflicts: 1380000 | #Constraints: 44017
2324.26/2330.23 c #Conflicts: 1381000 | #Constraints: 45018
2324.26/2330.23 c #Conflicts: 1382000 | #Constraints: 46018
2324.26/2330.23 c #Conflicts: 1383000 | #Constraints: 47018
2324.26/2330.23 c #Conflicts: 1384000 | #Constraints: 48019
2324.26/2330.23 c #Conflicts: 1385000 | #Constraints: 49019
2324.26/2330.23 c #Conflicts: 1386000 | #Constraints: 50019
2324.26/2330.23 c #Conflicts: 1387000 | #Constraints: 51020
2324.26/2330.23 c #Conflicts: 1388000 | #Constraints: 52020
2324.26/2330.23 c #Conflicts: 1389000 | #Constraints: 53020
2324.26/2330.23 c #Conflicts: 1390000 | #Constraints: 54021
2324.26/2330.23 c #Conflicts: 1391000 | #Constraints: 55021
2324.26/2330.23 c #Conflicts: 1392000 | #Constraints: 56021
2324.26/2330.23 c #Conflicts: 1393000 | #Constraints: 57021
2324.26/2330.23 c INPROCESSING
2324.26/2330.23 c GARBAGE COLLECT
2324.26/2330.23 c #Conflicts: 1394000 | #Constraints: 32461
2324.26/2330.23 c #Conflicts: 1395000 | #Constraints: 33462
2324.26/2330.23 c #Conflicts: 1396000 | #Constraints: 34462
2324.26/2330.23 c #Conflicts: 1397000 | #Constraints: 35462
2324.26/2330.23 c #Conflicts: 1398000 | #Constraints: 36462
2324.26/2330.23 c #Conflicts: 1399000 | #Constraints: 37462
2543.92/2550.46 c #Conflicts: 1400000 | #Constraints: 38462
2543.92/2550.46 c #Conflicts: 1401000 | #Constraints: 39462
2543.92/2550.46 c #Conflicts: 1402000 | #Constraints: 40462
2543.92/2550.46 c #Conflicts: 1403000 | #Constraints: 41462
2543.92/2550.46 c #Conflicts: 1404000 | #Constraints: 42463
2543.92/2550.46 c #Conflicts: 1405000 | #Constraints: 43463
2543.92/2550.46 c #Conflicts: 1406000 | #Constraints: 44463
2543.92/2550.46 c #Conflicts: 1407000 | #Constraints: 45464
2543.92/2550.46 c #Conflicts: 1408000 | #Constraints: 46464
2543.92/2550.46 c #Conflicts: 1409000 | #Constraints: 47464
2543.92/2550.46 c #Conflicts: 1410000 | #Constraints: 48464
2543.92/2550.46 c #Conflicts: 1411000 | #Constraints: 49465
2543.92/2550.46 c #Conflicts: 1412000 | #Constraints: 50465
2543.92/2550.46 c #Conflicts: 1413000 | #Constraints: 51465
2543.92/2550.46 c #Conflicts: 1414000 | #Constraints: 52465
2543.92/2550.46 c #Conflicts: 1415000 | #Constraints: 53465
2543.92/2550.46 c #Conflicts: 1416000 | #Constraints: 54465
2543.92/2550.46 c #Conflicts: 1417000 | #Constraints: 55465
2543.92/2550.46 c #Conflicts: 1418000 | #Constraints: 56465
2543.92/2550.46 c #Conflicts: 1419000 | #Constraints: 57465
2543.92/2550.46 c #Conflicts: 1420000 | #Constraints: 58465
2543.92/2550.46 c #Conflicts: 1421000 | #Constraints: 59465
2543.92/2550.46 c #Conflicts: 1422000 | #Constraints: 60465
2543.92/2550.46 c #Conflicts: 1423000 | #Constraints: 61465
2543.92/2550.46 c #Conflicts: 1424000 | #Constraints: 62465
2543.92/2550.46 c #Conflicts: 1425000 | #Constraints: 63465
2543.92/2550.46 c #Conflicts: 1426000 | #Constraints: 64465
2543.92/2550.46 c #Conflicts: 1427000 | #Constraints: 65465
2543.92/2550.46 c #Conflicts: 1428000 | #Constraints: 66465
2543.92/2550.46 c #Conflicts: 1429000 | #Constraints: 67465
2543.92/2550.46 c #Conflicts: 1430000 | #Constraints: 68465
2543.92/2550.46 c #Conflicts: 1431000 | #Constraints: 69465
2543.92/2550.46 c #Conflicts: 1432000 | #Constraints: 70465
2543.92/2550.46 c #Conflicts: 1433000 | #Constraints: 71465
2543.92/2550.46 c #Conflicts: 1434000 | #Constraints: 72465
2543.92/2550.46 c #Conflicts: 1435000 | #Constraints: 73465
2543.92/2550.46 c #Conflicts: 1436000 | #Constraints: 74465
2543.92/2550.46 c #Conflicts: 1437000 | #Constraints: 75465
2543.92/2550.46 c #Conflicts: 1438000 | #Constraints: 76465
2543.92/2550.46 c #Conflicts: 1439000 | #Constraints: 77465
2543.92/2550.46 c #Conflicts: 1440000 | #Constraints: 78465
2543.92/2550.46 c #Conflicts: 1441000 | #Constraints: 79465
2543.92/2550.46 c #Conflicts: 1442000 | #Constraints: 80465
2543.92/2550.46 c #Conflicts: 1443000 | #Constraints: 81465
2543.92/2550.46 c #Conflicts: 1444000 | #Constraints: 82465
2543.92/2550.46 c #Conflicts: 1445000 | #Constraints: 83465
2543.92/2550.46 c #Conflicts: 1446000 | #Constraints: 84465
2543.92/2550.46 c #Conflicts: 1447000 | #Constraints: 85465
2543.92/2550.46 c #Conflicts: 1448000 | #Constraints: 86465
2543.92/2550.46 c #Conflicts: 1449000 | #Constraints: 87465
2543.92/2550.46 c #Conflicts: 1450000 | #Constraints: 88465
2543.92/2550.46 c #Conflicts: 1451000 | #Constraints: 89465
2543.92/2550.46 c #Conflicts: 1452000 | #Constraints: 90465
2543.92/2550.46 c #Conflicts: 1453000 | #Constraints: 91465
2543.92/2550.46 c #Conflicts: 1454000 | #Constraints: 92465
2543.92/2550.46 c #Conflicts: 1455000 | #Constraints: 93465
2543.92/2550.46 c #Conflicts: 1456000 | #Constraints: 94465
2543.92/2550.46 c #Conflicts: 1457000 | #Constraints: 95465
2543.92/2550.46 c #Conflicts: 1458000 | #Constraints: 96465
2543.92/2550.46 c #Conflicts: 1459000 | #Constraints: 97465
2543.92/2550.46 c #Conflicts: 1460000 | #Constraints: 98465
2543.92/2550.46 c #Conflicts: 1461000 | #Constraints: 99465
2543.92/2550.46 c #Conflicts: 1462000 | #Constraints: 100465
2543.92/2550.46 c #Conflicts: 1463000 | #Constraints: 101465
2543.92/2550.46 c #Conflicts: 1464000 | #Constraints: 102465
2543.92/2550.46 c #Conflicts: 1465000 | #Constraints: 103465
2543.92/2550.46 c #Conflicts: 1466000 | #Constraints: 104465
2543.92/2550.46 c #Conflicts: 1467000 | #Constraints: 105465
2543.92/2550.46 c #Conflicts: 1468000 | #Constraints: 106465
2543.92/2550.46 c #Conflicts: 1469000 | #Constraints: 107465
2543.92/2550.46 c #Conflicts: 1470000 | #Constraints: 108465
2543.92/2550.46 c #Conflicts: 1471000 | #Constraints: 109465
2543.92/2550.46 c #Conflicts: 1472000 | #Constraints: 110465
2543.92/2550.46 c #Conflicts: 1473000 | #Constraints: 111465
2543.92/2550.46 c #Conflicts: 1474000 | #Constraints: 112465
2543.92/2550.46 c #Conflicts: 1475000 | #Constraints: 113465
2543.92/2550.46 c #Conflicts: 1476000 | #Constraints: 114465
2543.92/2550.46 c #Conflicts: 1477000 | #Constraints: 115465
2543.92/2550.46 c #Conflicts: 1478000 | #Constraints: 116465
2766.37/2773.42 c #Conflicts: 1479000 | #Constraints: 117465
2766.37/2773.42 c #Conflicts: 1480000 | #Constraints: 118465
2766.37/2773.42 c #Conflicts: 1481000 | #Constraints: 119465
2766.37/2773.42 c #Conflicts: 1482000 | #Constraints: 120465
2766.37/2773.42 c #Conflicts: 1483000 | #Constraints: 121465
2766.37/2773.42 c #Conflicts: 1484000 | #Constraints: 122465
2766.37/2773.42 c #Conflicts: 1485000 | #Constraints: 123465
2766.37/2773.42 c #Conflicts: 1486000 | #Constraints: 124465
2766.37/2773.42 c #Conflicts: 1487000 | #Constraints: 125465
2766.37/2773.42 c #Conflicts: 1488000 | #Constraints: 126465
2766.37/2773.42 c #Conflicts: 1489000 | #Constraints: 127465
2766.37/2773.42 c #Conflicts: 1490000 | #Constraints: 128465
2766.37/2773.42 c #Conflicts: 1491000 | #Constraints: 129465
2766.37/2773.42 c #Conflicts: 1492000 | #Constraints: 130465
2766.37/2773.42 c INPROCESSING
2766.37/2773.42 c GARBAGE COLLECT
2766.37/2773.42 c #Conflicts: 1493000 | #Constraints: 69142
2766.37/2773.42 c #Conflicts: 1494000 | #Constraints: 70142
2766.37/2773.42 c #Conflicts: 1495000 | #Constraints: 71142
2766.37/2773.42 c #Conflicts: 1496000 | #Constraints: 72142
2766.37/2773.42 c #Conflicts: 1497000 | #Constraints: 73142
2766.37/2773.42 c #Conflicts: 1498000 | #Constraints: 74142
2766.37/2773.42 c #Conflicts: 1499000 | #Constraints: 75142
2766.37/2773.42 c #Conflicts: 1500000 | #Constraints: 76142
2766.37/2773.42 c #Conflicts: 1501000 | #Constraints: 77142
2766.37/2773.42 c #Conflicts: 1502000 | #Constraints: 78142
2766.37/2773.42 c #Conflicts: 1503000 | #Constraints: 79142
2766.37/2773.42 c #Conflicts: 1504000 | #Constraints: 80142
2766.37/2773.42 c #Conflicts: 1505000 | #Constraints: 81142
2766.37/2773.42 c #Conflicts: 1506000 | #Constraints: 82142
2766.37/2773.42 c #Conflicts: 1507000 | #Constraints: 83142
2766.37/2773.42 c #Conflicts: 1508000 | #Constraints: 84142
2766.37/2773.42 c #Conflicts: 1509000 | #Constraints: 85142
2766.37/2773.42 c #Conflicts: 1510000 | #Constraints: 86142
2766.37/2773.42 c #Conflicts: 1511000 | #Constraints: 87142
2766.37/2773.42 c #Conflicts: 1512000 | #Constraints: 88142
2766.37/2773.42 c #Conflicts: 1513000 | #Constraints: 89142
2766.37/2773.42 c #Conflicts: 1514000 | #Constraints: 90142
2766.37/2773.42 c #Conflicts: 1515000 | #Constraints: 91142
2766.37/2773.42 c #Conflicts: 1516000 | #Constraints: 92142
2766.37/2773.42 c #Conflicts: 1517000 | #Constraints: 93142
2766.37/2773.42 c #Conflicts: 1518000 | #Constraints: 94142
2766.37/2773.42 c INPROCESSING
2766.37/2773.42 c GARBAGE COLLECT
2766.37/2773.42 c #Conflicts: 1519000 | #Constraints: 50736
2766.37/2773.42 c #Conflicts: 1520000 | #Constraints: 51736
2766.37/2773.42 c #Conflicts: 1521000 | #Constraints: 52736
2766.37/2773.42 c #Conflicts: 1522000 | #Constraints: 53736
2766.37/2773.42 c #Conflicts: 1523000 | #Constraints: 54736
2766.37/2773.42 c #Conflicts: 1524000 | #Constraints: 55736
2766.37/2773.42 c #Conflicts: 1525000 | #Constraints: 56736
2766.37/2773.42 c #Conflicts: 1526000 | #Constraints: 57736
2766.37/2773.42 c #Conflicts: 1527000 | #Constraints: 58736
2766.37/2773.42 c #Conflicts: 1528000 | #Constraints: 59736
2766.37/2773.42 c #Conflicts: 1529000 | #Constraints: 60736
2766.37/2773.42 c #Conflicts: 1530000 | #Constraints: 61736
2766.37/2773.42 c #Conflicts: 1531000 | #Constraints: 62736
2766.37/2773.42 c #Conflicts: 1532000 | #Constraints: 63736
2766.37/2773.42 c #Conflicts: 1533000 | #Constraints: 64736
2766.37/2773.42 c #Conflicts: 1534000 | #Constraints: 65736
2766.37/2773.42 c #Conflicts: 1535000 | #Constraints: 66736
2766.37/2773.42 c #Conflicts: 1536000 | #Constraints: 67736
2766.37/2773.42 c #Conflicts: 1537000 | #Constraints: 68736
2766.37/2773.42 c #Conflicts: 1538000 | #Constraints: 69736
2766.37/2773.42 c #Conflicts: 1539000 | #Constraints: 70736
2766.37/2773.42 c #Conflicts: 1540000 | #Constraints: 71736
2766.37/2773.42 c #Conflicts: 1541000 | #Constraints: 72736
2766.37/2773.42 c #Conflicts: 1542000 | #Constraints: 73736
2766.37/2773.42 c #Conflicts: 1543000 | #Constraints: 74736
2766.37/2773.42 c #Conflicts: 1544000 | #Constraints: 75736
2766.37/2773.42 c #Conflicts: 1545000 | #Constraints: 76736
2766.37/2773.42 c INPROCESSING
2766.37/2773.42 c GARBAGE COLLECT
2766.37/2773.42 c #Conflicts: 1546000 | #Constraints: 42236
2766.37/2773.42 c #Conflicts: 1547000 | #Constraints: 43236
2766.37/2773.42 c #Conflicts: 1548000 | #Constraints: 44236
2766.37/2773.42 c #Conflicts: 1549000 | #Constraints: 45236
2766.37/2773.42 c #Conflicts: 1550000 | #Constraints: 46236
2766.37/2773.42 c #Conflicts: 1551000 | #Constraints: 47236
2766.37/2773.42 c #Conflicts: 1552000 | #Constraints: 48236
2766.37/2773.42 c #Conflicts: 1553000 | #Constraints: 49236
2766.37/2773.42 c #Conflicts: 1554000 | #Constraints: 50236
2766.37/2773.42 c #Conflicts: 1555000 | #Constraints: 51236
2914.02/2921.45 c #Conflicts: 1556000 | #Constraints: 52236
2914.02/2921.45 c #Conflicts: 1557000 | #Constraints: 53236
2914.02/2921.45 c #Conflicts: 1558000 | #Constraints: 54236
2914.02/2921.45 c #Conflicts: 1559000 | #Constraints: 55236
2914.02/2921.45 c #Conflicts: 1560000 | #Constraints: 56236
2914.02/2921.45 c #Conflicts: 1561000 | #Constraints: 57236
2914.02/2921.45 c #Conflicts: 1562000 | #Constraints: 58236
2914.02/2921.45 c #Conflicts: 1563000 | #Constraints: 59236
2914.02/2921.45 c #Conflicts: 1564000 | #Constraints: 60236
2914.02/2921.45 c #Conflicts: 1565000 | #Constraints: 61236
2914.02/2921.45 c #Conflicts: 1566000 | #Constraints: 62236
2914.02/2921.45 c #Conflicts: 1567000 | #Constraints: 63236
2914.02/2921.45 c #Conflicts: 1568000 | #Constraints: 64236
2914.02/2921.45 c #Conflicts: 1569000 | #Constraints: 65236
2914.02/2921.45 c #Conflicts: 1570000 | #Constraints: 66236
2914.02/2921.45 c #Conflicts: 1571000 | #Constraints: 67236
2914.02/2921.45 c #Conflicts: 1572000 | #Constraints: 68236
2914.02/2921.45 c INPROCESSING
2914.02/2921.45 c GARBAGE COLLECT
2914.02/2921.45 c #Conflicts: 1573000 | #Constraints: 38071
2914.02/2921.45 c #Conflicts: 1574000 | #Constraints: 39071
2914.02/2921.45 c #Conflicts: 1575000 | #Constraints: 40071
2914.02/2921.45 c #Conflicts: 1576000 | #Constraints: 41071
2914.02/2921.45 c #Conflicts: 1577000 | #Constraints: 42071
2914.02/2921.45 c #Conflicts: 1578000 | #Constraints: 43071
2914.02/2921.45 c #Conflicts: 1579000 | #Constraints: 44071
2914.02/2921.45 c #Conflicts: 1580000 | #Constraints: 45071
2914.02/2921.45 c #Conflicts: 1581000 | #Constraints: 46071
2914.02/2921.45 c #Conflicts: 1582000 | #Constraints: 47071
2914.02/2921.45 c #Conflicts: 1583000 | #Constraints: 48071
2914.02/2921.45 c #Conflicts: 1584000 | #Constraints: 49071
2914.02/2921.45 c #Conflicts: 1585000 | #Constraints: 50071
2914.02/2921.45 c #Conflicts: 1586000 | #Constraints: 51071
2914.02/2921.45 c #Conflicts: 1587000 | #Constraints: 52071
2914.02/2921.45 c #Conflicts: 1588000 | #Constraints: 53071
2914.02/2921.45 c #Conflicts: 1589000 | #Constraints: 54071
2914.02/2921.45 c #Conflicts: 1590000 | #Constraints: 55071
2914.02/2921.45 c #Conflicts: 1591000 | #Constraints: 56071
2914.02/2921.45 c #Conflicts: 1592000 | #Constraints: 57071
2914.02/2921.45 c #Conflicts: 1593000 | #Constraints: 58071
2914.02/2921.45 c #Conflicts: 1594000 | #Constraints: 59071
2914.02/2921.45 c #Conflicts: 1595000 | #Constraints: 60071
2914.02/2921.45 c #Conflicts: 1596000 | #Constraints: 61071
2914.02/2921.45 c #Conflicts: 1597000 | #Constraints: 62071
2914.02/2921.45 c #Conflicts: 1598000 | #Constraints: 63071
2914.02/2921.45 c #Conflicts: 1599000 | #Constraints: 64071
2914.02/2921.45 c INPROCESSING
2914.02/2921.45 c GARBAGE COLLECT
2914.02/2921.45 c #Conflicts: 1600000 | #Constraints: 35841
2914.02/2921.45 c #Conflicts: 1601000 | #Constraints: 36841
2914.02/2921.45 c #Conflicts: 1602000 | #Constraints: 37841
2914.02/2921.45 c #Conflicts: 1603000 | #Constraints: 38841
2914.02/2921.45 c #Conflicts: 1604000 | #Constraints: 39841
2914.02/2921.45 c #Conflicts: 1605000 | #Constraints: 40841
2914.02/2921.45 c #Conflicts: 1606000 | #Constraints: 41841
2914.02/2921.45 c #Conflicts: 1607000 | #Constraints: 42841
2914.02/2921.45 c #Conflicts: 1608000 | #Constraints: 43841
2914.02/2921.45 c #Conflicts: 1609000 | #Constraints: 44841
2914.02/2921.45 c #Conflicts: 1610000 | #Constraints: 45841
2914.02/2921.45 c #Conflicts: 1611000 | #Constraints: 46841
2914.02/2921.45 c #Conflicts: 1612000 | #Constraints: 47841
2914.02/2921.45 c #Conflicts: 1613000 | #Constraints: 48841
2914.02/2921.45 c #Conflicts: 1614000 | #Constraints: 49841
2914.02/2921.45 c #Conflicts: 1615000 | #Constraints: 50841
2914.02/2921.45 c #Conflicts: 1616000 | #Constraints: 51841
2914.02/2921.45 c #Conflicts: 1617000 | #Constraints: 52841
2914.02/2921.45 c #Conflicts: 1618000 | #Constraints: 53841
2914.02/2921.45 c #Conflicts: 1619000 | #Constraints: 54841
2914.02/2921.45 c #Conflicts: 1620000 | #Constraints: 55841
2914.02/2921.45 c #Conflicts: 1621000 | #Constraints: 56841
2914.02/2921.45 c #Conflicts: 1622000 | #Constraints: 57841
2914.02/2921.45 c #Conflicts: 1623000 | #Constraints: 58841
2914.02/2921.45 c #Conflicts: 1624000 | #Constraints: 59841
2914.02/2921.45 c #Conflicts: 1625000 | #Constraints: 60841
2914.02/2921.45 c #Conflicts: 1626000 | #Constraints: 61841
2914.02/2921.45 c INPROCESSING
2914.02/2921.45 c GARBAGE COLLECT
2914.02/2921.45 c #Conflicts: 1627000 | #Constraints: 34633
2914.02/2921.45 c #Conflicts: 1628000 | #Constraints: 35633
2914.02/2921.45 c #Conflicts: 1629000 | #Constraints: 36633
2914.02/2921.45 c #Conflicts: 1630000 | #Constraints: 37633
2914.02/2921.45 c #Conflicts: 1631000 | #Constraints: 38633
2914.02/2921.45 c #Conflicts: 1632000 | #Constraints: 39633
3033.93/3041.63 c #Conflicts: 1633000 | #Constraints: 40633
3033.93/3041.63 c #Conflicts: 1634000 | #Constraints: 41633
3033.93/3041.63 c #Conflicts: 1635000 | #Constraints: 42633
3033.93/3041.63 c #Conflicts: 1636000 | #Constraints: 43633
3033.93/3041.63 c #Conflicts: 1637000 | #Constraints: 44633
3033.93/3041.63 c #Conflicts: 1638000 | #Constraints: 45633
3033.93/3041.63 c #Conflicts: 1639000 | #Constraints: 46633
3033.93/3041.63 c #Conflicts: 1640000 | #Constraints: 47634
3033.93/3041.63 c #Conflicts: 1641000 | #Constraints: 48634
3033.93/3041.63 c #Conflicts: 1642000 | #Constraints: 49634
3033.93/3041.63 c #Conflicts: 1643000 | #Constraints: 50634
3033.93/3041.63 c #Conflicts: 1644000 | #Constraints: 51634
3033.93/3041.63 c #Conflicts: 1645000 | #Constraints: 52634
3033.93/3041.63 c #Conflicts: 1646000 | #Constraints: 53634
3033.93/3041.63 c #Conflicts: 1647000 | #Constraints: 54634
3033.93/3041.63 c #Conflicts: 1648000 | #Constraints: 55634
3033.93/3041.63 c #Conflicts: 1649000 | #Constraints: 56634
3033.93/3041.63 c #Conflicts: 1650000 | #Constraints: 57634
3033.93/3041.63 c #Conflicts: 1651000 | #Constraints: 58634
3033.93/3041.63 c #Conflicts: 1652000 | #Constraints: 59634
3033.93/3041.63 c #Conflicts: 1653000 | #Constraints: 60634
3033.93/3041.63 c #Conflicts: 1654000 | #Constraints: 61634
3033.93/3041.63 c INPROCESSING
3033.93/3041.63 c GARBAGE COLLECT
3033.93/3041.63 c #Conflicts: 1655000 | #Constraints: 34731
3033.93/3041.63 c #Conflicts: 1656000 | #Constraints: 35731
3033.93/3041.63 c #Conflicts: 1657000 | #Constraints: 36731
3033.93/3041.63 c #Conflicts: 1658000 | #Constraints: 37731
3033.93/3041.63 c #Conflicts: 1659000 | #Constraints: 38731
3033.93/3041.63 c #Conflicts: 1660000 | #Constraints: 39731
3033.93/3041.63 c #Conflicts: 1661000 | #Constraints: 40731
3033.93/3041.63 c #Conflicts: 1662000 | #Constraints: 41731
3033.93/3041.63 c #Conflicts: 1663000 | #Constraints: 42731
3033.93/3041.63 c #Conflicts: 1664000 | #Constraints: 43731
3033.93/3041.63 c #Conflicts: 1665000 | #Constraints: 44731
3033.93/3041.63 c #Conflicts: 1666000 | #Constraints: 45731
3033.93/3041.63 c #Conflicts: 1667000 | #Constraints: 46731
3033.93/3041.63 c #Conflicts: 1668000 | #Constraints: 47731
3033.93/3041.63 c #Conflicts: 1669000 | #Constraints: 48731
3033.93/3041.63 c #Conflicts: 1670000 | #Constraints: 49731
3033.93/3041.63 c #Conflicts: 1671000 | #Constraints: 50731
3033.93/3041.63 c #Conflicts: 1672000 | #Constraints: 51731
3033.93/3041.63 c #Conflicts: 1673000 | #Constraints: 52731
3033.93/3041.63 c #Conflicts: 1674000 | #Constraints: 53731
3033.93/3041.63 c #Conflicts: 1675000 | #Constraints: 54731
3033.93/3041.63 c #Conflicts: 1676000 | #Constraints: 55731
3033.93/3041.63 c #Conflicts: 1677000 | #Constraints: 56731
3033.93/3041.63 c #Conflicts: 1678000 | #Constraints: 57731
3033.93/3041.63 c #Conflicts: 1679000 | #Constraints: 58731
3033.93/3041.63 c #Conflicts: 1680000 | #Constraints: 59731
3033.93/3041.63 c #Conflicts: 1681000 | #Constraints: 60731
3033.93/3041.63 c #Conflicts: 1682000 | #Constraints: 61731
3033.93/3041.63 c INPROCESSING
3033.93/3041.63 c GARBAGE COLLECT
3033.93/3041.63 c #Conflicts: 1683000 | #Constraints: 35001
3033.93/3041.63 c #Conflicts: 1684000 | #Constraints: 36001
3033.93/3041.63 c #Conflicts: 1685000 | #Constraints: 37001
3033.93/3041.63 c #Conflicts: 1686000 | #Constraints: 38001
3033.93/3041.63 c #Conflicts: 1687000 | #Constraints: 39001
3033.93/3041.63 c #Conflicts: 1688000 | #Constraints: 40001
3033.93/3041.63 c #Conflicts: 1689000 | #Constraints: 41001
3033.93/3041.63 c #Conflicts: 1690000 | #Constraints: 42001
3033.93/3041.63 c #Conflicts: 1691000 | #Constraints: 43001
3033.93/3041.63 c #Conflicts: 1692000 | #Constraints: 44001
3033.93/3041.63 c #Conflicts: 1693000 | #Constraints: 45001
3033.93/3041.63 c #Conflicts: 1694000 | #Constraints: 46001
3033.93/3041.63 c #Conflicts: 1695000 | #Constraints: 47001
3033.93/3041.63 c #Conflicts: 1696000 | #Constraints: 48001
3033.93/3041.63 c #Conflicts: 1697000 | #Constraints: 49001
3033.93/3041.63 c #Conflicts: 1698000 | #Constraints: 50001
3033.93/3041.63 c #Conflicts: 1699000 | #Constraints: 51001
3033.93/3041.63 c #Conflicts: 1700000 | #Constraints: 52001
3033.93/3041.63 c #Conflicts: 1701000 | #Constraints: 53001
3033.93/3041.63 c #Conflicts: 1702000 | #Constraints: 54001
3033.93/3041.63 c #Conflicts: 1703000 | #Constraints: 55001
3033.93/3041.63 c #Conflicts: 1704000 | #Constraints: 56001
3033.93/3041.63 c #Conflicts: 1705000 | #Constraints: 57001
3033.93/3041.63 c #Conflicts: 1706000 | #Constraints: 58001
3033.93/3041.63 c #Conflicts: 1707000 | #Constraints: 59001
3033.93/3041.63 c #Conflicts: 1708000 | #Constraints: 60001
3033.93/3041.63 c #Conflicts: 1709000 | #Constraints: 61001
3248.50/3256.70 c #Conflicts: 1710000 | #Constraints: 62001
3248.50/3256.70 c INPROCESSING
3248.50/3256.70 c GARBAGE COLLECT
3248.50/3256.70 c #Conflicts: 1711000 | #Constraints: 35084
3248.50/3256.70 c #Conflicts: 1712000 | #Constraints: 36084
3248.50/3256.70 c #Conflicts: 1713000 | #Constraints: 37084
3248.50/3256.70 c #Conflicts: 1714000 | #Constraints: 38084
3248.50/3256.70 c #Conflicts: 1715000 | #Constraints: 39084
3248.50/3256.70 c #Conflicts: 1716000 | #Constraints: 40084
3248.50/3256.70 c #Conflicts: 1717000 | #Constraints: 41084
3248.50/3256.70 c #Conflicts: 1718000 | #Constraints: 42084
3248.50/3256.70 c #Conflicts: 1719000 | #Constraints: 43084
3248.50/3256.70 c #Conflicts: 1720000 | #Constraints: 44084
3248.50/3256.70 c #Conflicts: 1721000 | #Constraints: 45084
3248.50/3256.70 c #Conflicts: 1722000 | #Constraints: 46084
3248.50/3256.70 c #Conflicts: 1723000 | #Constraints: 47084
3248.50/3256.70 c #Conflicts: 1724000 | #Constraints: 48084
3248.50/3256.70 c #Conflicts: 1725000 | #Constraints: 49084
3248.50/3256.70 c #Conflicts: 1726000 | #Constraints: 50084
3248.50/3256.70 c #Conflicts: 1727000 | #Constraints: 51084
3248.50/3256.70 c #Conflicts: 1728000 | #Constraints: 52084
3248.50/3256.70 c #Conflicts: 1729000 | #Constraints: 53084
3248.50/3256.70 c #Conflicts: 1730000 | #Constraints: 54084
3248.50/3256.70 c #Conflicts: 1731000 | #Constraints: 55084
3248.50/3256.70 c #Conflicts: 1732000 | #Constraints: 56084
3248.50/3256.70 c #Conflicts: 1733000 | #Constraints: 57084
3248.50/3256.70 c #Conflicts: 1734000 | #Constraints: 58084
3248.50/3256.70 c #Conflicts: 1735000 | #Constraints: 59084
3248.50/3256.70 c #Conflicts: 1736000 | #Constraints: 60084
3248.50/3256.70 c #Conflicts: 1737000 | #Constraints: 61084
3248.50/3256.70 c #Conflicts: 1738000 | #Constraints: 62084
3248.50/3256.70 c #Conflicts: 1739000 | #Constraints: 63084
3248.50/3256.70 c #Conflicts: 1740000 | #Constraints: 64084
3248.50/3256.70 c #Conflicts: 1741000 | #Constraints: 65084
3248.50/3256.70 c #Conflicts: 1742000 | #Constraints: 66084
3248.50/3256.70 c #Conflicts: 1743000 | #Constraints: 67084
3248.50/3256.70 c #Conflicts: 1744000 | #Constraints: 68084
3248.50/3256.70 c #Conflicts: 1745000 | #Constraints: 69084
3248.50/3256.70 c #Conflicts: 1746000 | #Constraints: 70084
3248.50/3256.70 c #Conflicts: 1747000 | #Constraints: 71084
3248.50/3256.70 c #Conflicts: 1748000 | #Constraints: 72084
3248.50/3256.70 c #Conflicts: 1749000 | #Constraints: 73085
3248.50/3256.70 c #Conflicts: 1750000 | #Constraints: 74085
3248.50/3256.70 c #Conflicts: 1751000 | #Constraints: 75085
3248.50/3256.70 c #Conflicts: 1752000 | #Constraints: 76085
3248.50/3256.70 c #Conflicts: 1753000 | #Constraints: 77085
3248.50/3256.70 c #Conflicts: 1754000 | #Constraints: 78085
3248.50/3256.70 c #Conflicts: 1755000 | #Constraints: 79086
3248.50/3256.70 c #Conflicts: 1756000 | #Constraints: 80086
3248.50/3256.70 c #Conflicts: 1757000 | #Constraints: 81086
3248.50/3256.70 c #Conflicts: 1758000 | #Constraints: 82086
3248.50/3256.70 c #Conflicts: 1759000 | #Constraints: 83086
3248.50/3256.70 c #Conflicts: 1760000 | #Constraints: 84086
3248.50/3256.70 c #Conflicts: 1761000 | #Constraints: 85086
3248.50/3256.70 c #Conflicts: 1762000 | #Constraints: 86086
3248.50/3256.70 c #Conflicts: 1763000 | #Constraints: 87086
3248.50/3256.70 c #Conflicts: 1764000 | #Constraints: 88086
3248.50/3256.70 c #Conflicts: 1765000 | #Constraints: 89086
3248.50/3256.70 c #Conflicts: 1766000 | #Constraints: 90086
3248.50/3256.70 c #Conflicts: 1767000 | #Constraints: 91086
3248.50/3256.70 c #Conflicts: 1768000 | #Constraints: 92086
3248.50/3256.70 c #Conflicts: 1769000 | #Constraints: 93086
3248.50/3256.70 c #Conflicts: 1770000 | #Constraints: 94086
3248.50/3256.70 c #Conflicts: 1771000 | #Constraints: 95086
3248.50/3256.70 c #Conflicts: 1772000 | #Constraints: 96086
3248.50/3256.70 c #Conflicts: 1773000 | #Constraints: 97086
3248.50/3256.70 c #Conflicts: 1774000 | #Constraints: 98086
3248.50/3256.70 c #Conflicts: 1775000 | #Constraints: 99086
3248.50/3256.70 c #Conflicts: 1776000 | #Constraints: 100086
3248.50/3256.70 c #Conflicts: 1777000 | #Constraints: 101086
3248.50/3256.70 c #Conflicts: 1778000 | #Constraints: 102086
3248.50/3256.70 c #Conflicts: 1779000 | #Constraints: 103086
3248.50/3256.70 c #Conflicts: 1780000 | #Constraints: 104086
3248.50/3256.70 c #Conflicts: 1781000 | #Constraints: 105086
3248.50/3256.70 c #Conflicts: 1782000 | #Constraints: 106086
3248.50/3256.70 c #Conflicts: 1783000 | #Constraints: 107086
3248.50/3256.70 c #Conflicts: 1784000 | #Constraints: 108086
3248.50/3256.70 c #Conflicts: 1785000 | #Constraints: 109086
3248.50/3256.70 c #Conflicts: 1786000 | #Constraints: 110086
3248.50/3256.70 c #Conflicts: 1787000 | #Constraints: 111086
3600.04/3609.20 c #Conflicts: 1788000 | #Constraints: 112086
3600.04/3609.20 c #Conflicts: 1789000 | #Constraints: 113086
3600.04/3609.20 c #Conflicts: 1790000 | #Constraints: 114086
3600.04/3609.20 c #Conflicts: 1791000 | #Constraints: 115086
3600.04/3609.20 c #Conflicts: 1792000 | #Constraints: 116086
3600.04/3609.20 c #Conflicts: 1793000 | #Constraints: 117086
3600.04/3609.20 c #Conflicts: 1794000 | #Constraints: 118086
3600.04/3609.20 c #Conflicts: 1795000 | #Constraints: 119086
3600.04/3609.20 c #Conflicts: 1796000 | #Constraints: 120086
3600.04/3609.20 c #Conflicts: 1797000 | #Constraints: 121086
3600.04/3609.20 c #Conflicts: 1798000 | #Constraints: 122086
3600.04/3609.20 c #Conflicts: 1799000 | #Constraints: 123086
3600.04/3609.20 c #Conflicts: 1800000 | #Constraints: 124086
3600.04/3609.20 c #Conflicts: 1801000 | #Constraints: 125086
3600.04/3609.20 c #Conflicts: 1802000 | #Constraints: 126086
3600.04/3609.20 c #Conflicts: 1803000 | #Constraints: 127086
3600.04/3609.20 c #Conflicts: 1804000 | #Constraints: 128086
3600.04/3609.20 c #Conflicts: 1805000 | #Constraints: 129086
3600.04/3609.20 c #Conflicts: 1806000 | #Constraints: 130086
3600.04/3609.20 c #Conflicts: 1807000 | #Constraints: 131086
3600.04/3609.20 c #Conflicts: 1808000 | #Constraints: 132086
3600.04/3609.20 c #Conflicts: 1809000 | #Constraints: 133086
3600.04/3609.20 c #Conflicts: 1810000 | #Constraints: 134086
3600.04/3609.20 c #Conflicts: 1811000 | #Constraints: 135086
3600.04/3609.20 c #Conflicts: 1812000 | #Constraints: 136086
3600.04/3609.20 c #Conflicts: 1813000 | #Constraints: 137086
3600.04/3609.20 c #Conflicts: 1814000 | #Constraints: 138086
3600.04/3609.20 c #Conflicts: 1815000 | #Constraints: 139086
3600.04/3609.20 c #Conflicts: 1816000 | #Constraints: 140086
3600.04/3609.20 c #Conflicts: 1817000 | #Constraints: 141086
3600.04/3609.20 c #Conflicts: 1818000 | #Constraints: 142086
3600.04/3609.20 c #Conflicts: 1819000 | #Constraints: 143086
3600.04/3609.20 c #Conflicts: 1820000 | #Constraints: 144086
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1821000 | #Constraints: 76113
3600.04/3609.20 c #Conflicts: 1822000 | #Constraints: 77113
3600.04/3609.20 c #Conflicts: 1823000 | #Constraints: 78113
3600.04/3609.20 c #Conflicts: 1824000 | #Constraints: 79113
3600.04/3609.20 c #Conflicts: 1825000 | #Constraints: 80113
3600.04/3609.20 c #Conflicts: 1826000 | #Constraints: 81113
3600.04/3609.20 c #Conflicts: 1827000 | #Constraints: 82113
3600.04/3609.20 c #Conflicts: 1828000 | #Constraints: 83113
3600.04/3609.20 c #Conflicts: 1829000 | #Constraints: 84113
3600.04/3609.20 c #Conflicts: 1830000 | #Constraints: 85113
3600.04/3609.20 c #Conflicts: 1831000 | #Constraints: 86113
3600.04/3609.20 c #Conflicts: 1832000 | #Constraints: 87113
3600.04/3609.20 c #Conflicts: 1833000 | #Constraints: 88113
3600.04/3609.20 c #Conflicts: 1834000 | #Constraints: 89113
3600.04/3609.20 c #Conflicts: 1835000 | #Constraints: 90113
3600.04/3609.20 c #Conflicts: 1836000 | #Constraints: 91113
3600.04/3609.20 c #Conflicts: 1837000 | #Constraints: 92113
3600.04/3609.20 c #Conflicts: 1838000 | #Constraints: 93113
3600.04/3609.20 c #Conflicts: 1839000 | #Constraints: 94113
3600.04/3609.20 c #Conflicts: 1840000 | #Constraints: 95113
3600.04/3609.20 c #Conflicts: 1841000 | #Constraints: 96113
3600.04/3609.20 c #Conflicts: 1842000 | #Constraints: 97113
3600.04/3609.20 c #Conflicts: 1843000 | #Constraints: 98113
3600.04/3609.20 c #Conflicts: 1844000 | #Constraints: 99113
3600.04/3609.20 c #Conflicts: 1845000 | #Constraints: 100113
3600.04/3609.20 c #Conflicts: 1846000 | #Constraints: 101113
3600.04/3609.20 c #Conflicts: 1847000 | #Constraints: 102113
3600.04/3609.20 c #Conflicts: 1848000 | #Constraints: 103113
3600.04/3609.20 c #Conflicts: 1849000 | #Constraints: 104113
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1850000 | #Constraints: 56102
3600.04/3609.20 c #Conflicts: 1851000 | #Constraints: 57102
3600.04/3609.20 c #Conflicts: 1852000 | #Constraints: 58102
3600.04/3609.20 c #Conflicts: 1853000 | #Constraints: 59102
3600.04/3609.20 c #Conflicts: 1854000 | #Constraints: 60102
3600.04/3609.20 c #Conflicts: 1855000 | #Constraints: 61102
3600.04/3609.20 c #Conflicts: 1856000 | #Constraints: 62102
3600.04/3609.20 c #Conflicts: 1857000 | #Constraints: 63102
3600.04/3609.20 c #Conflicts: 1858000 | #Constraints: 64102
3600.04/3609.20 c #Conflicts: 1859000 | #Constraints: 65102
3600.04/3609.20 c #Conflicts: 1860000 | #Constraints: 66102
3600.04/3609.20 c #Conflicts: 1861000 | #Constraints: 67102
3600.04/3609.20 c #Conflicts: 1862000 | #Constraints: 68102
3600.04/3609.20 c #Conflicts: 1863000 | #Constraints: 69102
3600.04/3609.20 c cpu time 3584.06 s
3600.04/3609.20 c deterministic time 257016688594 2.57e+11
3600.04/3609.20 c optimization time 31.3652 s
3600.04/3609.20 c total solve time 3552.63 s
3600.04/3609.20 c core-guided solve time 0 s
3600.04/3609.20 c propagation time 1980.01 s
3600.04/3609.20 c conflict analysis time 1408.96 s
3600.04/3609.20 c propagations 962460342
3600.04/3609.20 c resolve steps 93185962
3600.04/3609.20 c decisions 11296271
3600.04/3609.20 c conflicts 1863341
3600.04/3609.20 c restarts 3580
3600.04/3609.20 c inprocessing phases 92
3600.04/3609.20 c garbage collections 92 ,( 100.00 )
3600.04/3609.20 c input clauses 5591 ,( 98.57 )
3600.04/3609.20 c input cardinalities 81 ,( 1.43 )
3600.04/3609.20 c input general constraints 0 ,( 0.00 )
3600.04/3609.20 c input average constraint length 6.23
3600.04/3609.20 c input average constraint degree 1.94
3600.04/3609.20 c learned clauses 1490214 ,( 79.97 )
3600.04/3609.20 c learned cardinalities 27607 ,( 1.48 )
3600.04/3609.20 c learned general constraints 345553 ,( 18.54 )
3600.04/3609.20 c learned average constraint length 660.72
3600.04/3609.20 c learned average constraint degree 9085484.02
3600.04/3609.20 c watched CF 32, 64, 128, Arb: 120284 , 0 , 0 , 0
3600.04/3609.20 c counting CF 32, 64, 128, Arb: 225269 , 0 , 0 , 0
3600.04/3609.20 c watched constraints 120284 ,( 34.81 )
3600.04/3609.20 c counting constraints 225269 ,( 65.19 )
3600.04/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1756190474 , 616807654 , 3186926405 ,( 133063023 , 3053863382 )
3600.04/3609.20 c gcd simplifications 1087
3600.04/3609.20 c detected cardinalities 1370
3600.04/3609.20 c weakened non-implied lits 361198236
3600.04/3609.20 c weakened non-implying lits 247706
3600.04/3609.20 c original variables 5508
3600.04/3609.20 c clausal propagations 369334083
3600.04/3609.20 c cardinality propagations 348150526
3600.04/3609.20 c watched propagations 5002060
3600.04/3609.20 c counting propagations 234231745
3600.04/3609.20 c watch lookups 147106229075
3600.04/3609.20 c watch backjump lookups 0
3600.04/3609.20 c watch checks 39357370758
3600.04/3609.20 c propagation checks 64079755530
3600.04/3609.20 c constraint additions 4523528146
3600.04/3609.20 c trail pops 975615747
3600.04/3609.20 c formula constraints 5672
3600.04/3609.20 c learned constraints 1863331
3600.04/3609.20 c bound constraints 0
3600.04/3609.20 c core-guided constraints 0
3600.04/3609.20 c encountered formula constraints 57896651
3600.04/3609.20 c encountered learned constraints 37152301
3600.04/3609.20 c encountered bound constraints 0
3600.04/3609.20 c encountered core-guided constraints 0
3600.04/3609.20 c LP total time 185.872 s
3600.04/3609.20 c LP solve time 170.58 s
3600.04/3609.20 c LP constraints added 6999
3600.04/3609.20 c LP constraints removed 1209
3600.04/3609.20 c LP pivots internal 187490
3600.04/3609.20 c LP pivots root 245234
3600.04/3609.20 c LP calls 52
3600.04/3609.20 c LP optimalities 22
3600.04/3609.20 c LP no pivot count 3
3600.04/3609.20 c LP infeasibilities 23
3600.04/3609.20 c LP valid Farkas constraints 23
3600.04/3609.20 c LP learned Farkas constraints 9
3600.04/3609.20 c LP basis resets 0
3600.04/3609.20 c LP cycling count 0
3600.04/3609.20 c LP singular count 0
3600.04/3609.20 c LP no primal count 0
3600.04/3609.20 c LP no farkas count 0
3600.04/3609.20 c LP other issue count 0
3600.04/3609.20 c LP Gomory cuts 11
3600.04/3609.20 c LP learned cuts 1316
3600.04/3609.20 c LP deleted cuts 1209
3600.04/3609.20 c LP encountered Gomory constraints 0
3600.04/3609.20 c LP encountered Farkas constraints 303
3600.04/3609.20 c LP encountered learned Farkas constraints 39
3600.04/3609.20 c CG auxiliary variables introduced 0
3600.04/3609.20 c CG solutions found 0
3600.04/3609.20 c CG cores constructed 0
3600.04/3609.20 c CG core cardinality constraints returned 0
3600.04/3609.20 c CG unit cores 0
3600.04/3609.20 c CG single cores 0
3600.04/3609.20 c CG blocks removed during cardinality reduction 0
3600.04/3609.20 c CG first core best 0
3600.04/3609.20 c CG decision core best 0
3600.04/3609.20 c CG core reduction tie 0
3600.04/3609.20 c CG core degree average 0.00
3600.04/3609.20 c CG core slack average 0.00
3600.04/3609.20 c CG core upper bound improvements 0
3600.04/3609.20 c STR number of successful calls 0
3600.04/3609.20 c STR number of unsuccessful calls 0
3600.04/3609.20 c STR number of inconclusive calls 0
3600.04/3609.20 c STR number of successful attempts 0
3600.04/3609.20 c STR number of unsuccessful attempts 0
3600.04/3609.20 c STR number of inconclusive attempts 0
3600.04/3609.20 c STR average degree increase per successful call inf
3600.04/3609.20 c STR average degree increase per successful attempt inf
3600.04/3609.20 c STR total number of conflicts for successful attempts 0
3600.04/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.20 c STR average number of conflicts per successful attempt inf
3600.04/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.20 c AVG.sumWPerc 58.12
3600.04/3609.20 c bigint constraints 0
3600.04/3609.20 s UNKNOWN
3600.04/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63160 MiB free)
memory of node 1: 64507 MiB (63777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507516-1751187606/watcher-4507516-1751187606 -o /tmp/evaluation-result-4507516-1751187606/solver-4507516-1751187606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4507516-1751187606.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23695, runsolver pid=23692
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.14 4.15 5/254 23697
/proc/meminfo: memFree=129967992/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=63564 memory=18880 CPUtime=0.09 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 2702 0 0 0 7 2 0 0 20 0 1 0 34440298 65089536 4720 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 15891 4720 2240 1147 0 3318 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67756 KiB
Current children cumulated memory: 21824 KiB
[startup+0.213086 s]*
/proc/loadavg: 4.15 4.14 4.15 5/254 23697
/proc/meminfo: memFree=129967992/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=69884 memory=24348 CPUtime=0.19 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 4133 0 0 0 17 2 0 0 20 0 1 0 34440298 71561216 6087 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 17471 6087 2240 1147 0 4898 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74076 KiB
Current children cumulated memory: 27292 KiB
[startup+0.312392 s]*
/proc/loadavg: 4.15 4.14 4.15 5/254 23697
/proc/meminfo: memFree=129967992/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=69884 memory=24348 CPUtime=0.3 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 4156 0 0 0 27 3 0 0 20 0 1 0 34440298 71561216 6087 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 17471 6087 2240 1147 0 4898 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74076 KiB
Current children cumulated memory: 27292 KiB
[startup+0.700339 s]
/proc/loadavg: 4.15 4.14 4.15 5/254 23697
/proc/meminfo: memFree=129963896/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=70808 memory=25756 CPUtime=0.67 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 4463 0 0 0 64 3 0 0 20 0 1 0 34440298 72507392 6439 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 17702 6439 2272 1147 0 5129 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75000 KiB
Current children cumulated memory: 28700 KiB
[startup+1.50037 s]
/proc/loadavg: 4.14 4.14 4.15 5/254 23697
/proc/meminfo: memFree=129959560/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=70988 memory=26140 CPUtime=1.47 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 4550 0 0 0 141 6 0 0 20 0 1 0 34440298 72691712 6535 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 17747 6535 2304 1147 0 5174 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75180 KiB
Current children cumulated memory: 29084 KiB
[startup+3.11265 s]
/proc/loadavg: 4.14 4.14 4.15 5/254 23698
/proc/meminfo: memFree=129940888/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=75740 memory=33244 CPUtime=3.07 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 5758 0 0 0 296 11 0 0 20 0 1 0 34440298 77557760 8311 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 18935 8311 2336 1147 0 6362 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 79932 KiB
Current children cumulated memory: 36188 KiB
[startup+6.30036 s]
/proc/loadavg: 4.12 4.14 4.15 5/254 23698
/proc/meminfo: memFree=129922280/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=82884 memory=39428 CPUtime=6.26 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 6793 0 0 0 607 19 0 0 20 0 1 0 34440298 84873216 9857 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 20721 9857 2336 1147 0 8148 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87076 KiB
Current children cumulated memory: 42372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.15 4.15 5/255 23699
/proc/meminfo: memFree=129905572/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=85316 memory=41988 CPUtime=12.64 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 7445 0 0 0 1237 27 0 0 20 0 1 0 34440298 87363584 10497 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 21329 10497 2336 1147 0 8756 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89508 KiB
Current children cumulated memory: 44932 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.16 4.15 5/255 23699
/proc/meminfo: memFree=129829268/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=94832 memory=51180 CPUtime=25.41 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 9248 0 0 0 2496 45 0 0 20 0 1 0 34440298 97107968 12795 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 23708 12795 2336 1147 0 11135 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 99024 KiB
Current children cumulated memory: 54124 KiB
[startup+51.1132 s]
/proc/loadavg: 4.22 4.16 4.15 5/254 23699
/proc/meminfo: memFree=129713108/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=123504 memory=75828 CPUtime=50.95 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 14882 0 0 0 5009 86 0 0 20 0 1 0 34440298 126468096 18957 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 30876 18957 2336 1147 0 18303 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 127696 KiB
Current children cumulated memory: 78772 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/254 23712
/proc/meminfo: memFree=129582412/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=178172 memory=129592 CPUtime=102 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 21717 0 0 0 10053 147 0 0 20 0 1 0 34440298 182448128 32398 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 44543 32398 2336 1147 0 31970 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 182364 KiB
Current children cumulated memory: 132536 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/254 23714
/proc/meminfo: memFree=129377428/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=230128 memory=172612 CPUtime=161.85 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 26848 0 0 0 15981 204 0 0 20 0 1 0 34440298 235651072 43153 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 57532 43153 2336 1147 0 44959 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 234320 KiB
Current children cumulated memory: 175556 KiB
[startup+222.3 s]
/proc/loadavg: 4.61 4.27 4.19 5/255 23719
/proc/meminfo: memFree=129292924/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=376076 memory=250664 CPUtime=221.7 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 31550 0 0 0 21924 246 0 0 20 0 1 0 34440298 385101824 62666 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 94019 62666 2336 1147 0 81446 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/23697/statm: 166357 151246 2432 1147 0 153784 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 669620 KiB
Current children cumulated memory: 607928 KiB
[startup+3102.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/255 23966
/proc/meminfo: memFree=128076988/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=665428 memory=604984 CPUtime=3094.48 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 63227 0 0 0 307969 1479 0 0 20 0 1 0 34440298 681398272 151246 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 166357 151246 2432 1147 0 153784 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 669620 KiB
Current children cumulated memory: 607928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/254 23969
/proc/meminfo: memFree=128068948/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=666228 memory=605624 CPUtime=3154.33 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 63452 0 0 0 313934 1499 0 0 20 0 1 0 34440298 682217472 151406 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 166557 151406 2432 1147 0 153984 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 670420 KiB
Current children cumulated memory: 608568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/254 23971
/proc/meminfo: memFree=128060680/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=667644 memory=606648 CPUtime=3214.18 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 63738 0 0 0 319906 1512 0 0 20 0 1 0 34440298 683667456 151662 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 166911 151662 2432 1147 0 154338 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 671836 KiB
Current children cumulated memory: 609592 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/255 23976
/proc/meminfo: memFree=128012928/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=670156 memory=617528 CPUtime=3274.02 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 64214 0 0 0 325880 1522 0 0 20 0 1 0 34440298 686239744 154382 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 167539 154382 2432 1147 0 154966 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 674348 KiB
Current children cumulated memory: 620472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/255 23978
/proc/meminfo: memFree=127990028/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=676112 memory=627256 CPUtime=3333.87 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 65133 0 0 0 331856 1531 0 0 20 0 1 0 34440298 692338688 156814 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 169028 156814 2432 1147 0 156455 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 680304 KiB
Current children cumulated memory: 630200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/256 23985
/proc/meminfo: memFree=128008396/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=686960 memory=633528 CPUtime=3393.72 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 66719 0 0 0 337831 1541 0 0 20 0 1 0 34440298 703447040 158382 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 171740 158382 2432 1147 0 159167 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 691152 KiB
Current children cumulated memory: 636472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/255 23987
/proc/meminfo: memFree=127977952/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=914400 memory=652296 CPUtime=3453.57 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 69365 0 0 0 343795 1562 0 0 20 0 1 0 34440298 936345600 163074 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 228600 163074 2432 1147 0 216027 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 918592 KiB
Current children cumulated memory: 655240 KiB
[startup+3522.3 s]
/proc/loadavg: 3.74 4.04 4.12 4/248 24019
/proc/meminfo: memFree=128685096/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=914400 memory=652424 CPUtime=3513.4 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 69416 0 0 0 349757 1583 0 0 20 0 1 0 34440298 936345600 163106 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 228600 163106 2432 1147 0 216027 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 918592 KiB
Current children cumulated memory: 655368 KiB
[startup+3582.3 s]
/proc/loadavg: 3.04 3.79 4.03 3/242 24053
/proc/meminfo: memFree=129460280/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=914400 memory=652424 CPUtime=3573.21 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 69416 0 0 0 355727 1594 0 0 20 0 1 0 34440298 936345600 163106 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 228600 163106 2432 1147 0 216027 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 918592 KiB
Current children cumulated memory: 655368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 2.68 3.65 3.97 3/242 24053
/proc/meminfo: memFree=129460280/131382116 swapFree=33010684/33010684
[pid=23695] ppid=23692 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23695/stat : 23695 (run-dec.sh) S 23692 23695 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34440297 4292608 736 18446744073709551615 94068551290880 94068552185413 140722718716864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94068552424464 94068552472208 94068578713600 140722718718317 140722718718440 140722718718440 140722718724042 0
/proc/23695/statm: 1048 736 672 219 0 110 0
[pid=23697] ppid=23695 vsize=914400 memory=652424 CPUtime=3600.04 cores=4,6
/proc/23697/stat : 23697 (roundingsat) R 23695 23695 22838 0 -1 4194304 69416 0 0 0 358406 1598 0 0 20 0 1 0 34440298 936345600 163106 18446744073709551615 4227072 8923433 140728006460880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28499968 140728006470071 140728006470184 140728006470184 140728006475754 0
/proc/23697/statm: 228600 163106 2432 1147 0 216027 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 918592 KiB
Current children cumulated memory: 655368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 23695 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000965 s, system=0.003862 s
[startup+3609.21 s]
# the end of solver process 23697 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.07 s, system=15.9946 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.21
CPU time (s): 3600.06
CPU user time (s): 3584.07
CPU system time (s): 15.9946
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 918592
Max. memory (cumulated for all children) (KiB): 655368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.07
system time used= 15.9946
maximum resident set size= 652680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 2356
# summary of solver processes directly reported to runsolver:
# pid: 23695,23697
# total CPU time (s): 3600.06
# total CPU user time (s): 3584.07
# total CPU system time (s): 15.9946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7907 second user time and 37.1049 second system time
The end
Begin job on nodeC011 at 2025-06-29 11:00:06
IDJOB=4507516
IDBENCH=158357
IDSOLVER=3349
FILE ID=nodeC011/4507516-1751187606
RUNJOBID= nodeC011-1751180326-22849
SLURM_JOB_ID= 9587547
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507516-1751187606/watcher-4507516-1751187606 -o /tmp/evaluation-result-4507516-1751187606/solver-4507516-1751187606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22849 --watchdog 3760 run-dec.sh HOME/instance-4507516-1751187606.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a76247625d06f26dbfcd47fe69513f4b
RANDOM SEED=1041019944
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.799
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.648
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.423
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.289
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.684
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129984296 kB
MemAvailable: 129646924 kB
Buffers: 3280 kB
Cached: 473860 kB
SwapCached: 0 kB
Active: 619552 kB
Inactive: 226048 kB
Active(anon): 386424 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 226048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7764 kB
Writeback: 0 kB
AnonPages: 371632 kB
Mapped: 115032 kB
Shmem: 17960 kB
KReclaimable: 85772 kB
Slab: 165060 kB
SReclaimable: 85772 kB
SUnreclaim: 79288 kB
KernelStack: 4080 kB
PageTables: 3912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 731448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 96256 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC011 at 2025-06-29 12:00:15