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