0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.46 c #variables 6120 #constraints 6302
38.38/38.99 c #Conflicts: 1000 | #Constraints: 7301
38.38/38.99 c #Conflicts: 2000 | #Constraints: 8301
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 3000 | #Constraints: 7984
38.38/38.99 c #Conflicts: 4000 | #Constraints: 8984
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 5000 | #Constraints: 8433
38.38/38.99 c #Conflicts: 6000 | #Constraints: 9433
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 7000 | #Constraints: 8488
38.38/38.99 c #Conflicts: 8000 | #Constraints: 9488
38.38/38.99 c #Conflicts: 9000 | #Constraints: 10488
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 10000 | #Constraints: 9231
38.38/38.99 c #Conflicts: 11000 | #Constraints: 10231
38.38/38.99 c #Conflicts: 12000 | #Constraints: 11231
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 13000 | #Constraints: 9734
38.38/38.99 c #Conflicts: 14000 | #Constraints: 10734
38.38/38.99 c #Conflicts: 15000 | #Constraints: 11734
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 16000 | #Constraints: 9976
38.38/38.99 c #Conflicts: 17000 | #Constraints: 10976
38.38/38.99 c #Conflicts: 18000 | #Constraints: 11976
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 19000 | #Constraints: 10023
38.38/38.99 c #Conflicts: 20000 | #Constraints: 11023
38.38/38.99 c #Conflicts: 21000 | #Constraints: 12023
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 22000 | #Constraints: 9837
38.38/38.99 c #Conflicts: 23000 | #Constraints: 10837
38.38/38.99 c #Conflicts: 24000 | #Constraints: 11837
38.38/38.99 c #Conflicts: 25000 | #Constraints: 12837
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 26000 | #Constraints: 10450
38.38/38.99 c #Conflicts: 27000 | #Constraints: 11450
38.38/38.99 c #Conflicts: 28000 | #Constraints: 12450
38.38/38.99 c #Conflicts: 29000 | #Constraints: 13450
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 30000 | #Constraints: 10874
38.38/38.99 c #Conflicts: 31000 | #Constraints: 11874
38.38/38.99 c #Conflicts: 32000 | #Constraints: 12874
38.38/38.99 c #Conflicts: 33000 | #Constraints: 13874
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 34000 | #Constraints: 11108
38.38/38.99 c #Conflicts: 35000 | #Constraints: 12108
38.38/38.99 c #Conflicts: 36000 | #Constraints: 13108
38.38/38.99 c #Conflicts: 37000 | #Constraints: 14108
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 38000 | #Constraints: 11116
38.38/38.99 c #Conflicts: 39000 | #Constraints: 12116
38.38/38.99 c #Conflicts: 40000 | #Constraints: 13116
38.38/38.99 c #Conflicts: 41000 | #Constraints: 14116
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 42000 | #Constraints: 10922
38.38/38.99 c #Conflicts: 43000 | #Constraints: 11922
38.38/38.99 c #Conflicts: 44000 | #Constraints: 12922
38.38/38.99 c #Conflicts: 45000 | #Constraints: 13922
38.38/38.99 c #Conflicts: 46000 | #Constraints: 14922
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c #Conflicts: 47000 | #Constraints: 11543
38.38/38.99 c #Conflicts: 48000 | #Constraints: 12543
38.38/38.99 c #Conflicts: 49000 | #Constraints: 13543
38.38/38.99 c #Conflicts: 50000 | #Constraints: 14543
38.38/38.99 c #Conflicts: 51000 | #Constraints: 15543
38.38/38.99 c INPROCESSING
38.38/38.99 c GARBAGE COLLECT
38.38/38.99 c rational objective 90
102.11/102.86 c #Conflicts: 52000 | #Constraints: 11972
102.11/102.86 c #Conflicts: 53000 | #Constraints: 12972
102.11/102.86 c #Conflicts: 54000 | #Constraints: 13972
102.11/102.86 c #Conflicts: 55000 | #Constraints: 14972
102.11/102.86 c #Conflicts: 56000 | #Constraints: 15972
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 57000 | #Constraints: 12238
102.11/102.86 c #Conflicts: 58000 | #Constraints: 13238
102.11/102.86 c #Conflicts: 59000 | #Constraints: 14238
102.11/102.86 c #Conflicts: 60000 | #Constraints: 15238
102.11/102.86 c #Conflicts: 61000 | #Constraints: 16238
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 62000 | #Constraints: 12263
102.11/102.86 c #Conflicts: 63000 | #Constraints: 13263
102.11/102.86 c #Conflicts: 64000 | #Constraints: 14263
102.11/102.86 c #Conflicts: 65000 | #Constraints: 15263
102.11/102.86 c #Conflicts: 66000 | #Constraints: 16263
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 67000 | #Constraints: 12066
102.11/102.86 c #Conflicts: 68000 | #Constraints: 13066
102.11/102.86 c #Conflicts: 69000 | #Constraints: 14066
102.11/102.86 c #Conflicts: 70000 | #Constraints: 15066
102.11/102.86 c #Conflicts: 71000 | #Constraints: 16066
102.11/102.86 c #Conflicts: 72000 | #Constraints: 17066
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 73000 | #Constraints: 12682
102.11/102.86 c #Conflicts: 74000 | #Constraints: 13682
102.11/102.86 c #Conflicts: 75000 | #Constraints: 14682
102.11/102.86 c #Conflicts: 76000 | #Constraints: 15682
102.11/102.86 c #Conflicts: 77000 | #Constraints: 16682
102.11/102.86 c #Conflicts: 78000 | #Constraints: 17682
102.11/102.86 c #Conflicts: 79000 | #Constraints: 18682
102.11/102.86 c #Conflicts: 80000 | #Constraints: 19682
102.11/102.86 c #Conflicts: 81000 | #Constraints: 20682
102.11/102.86 c #Conflicts: 82000 | #Constraints: 21682
102.11/102.86 c #Conflicts: 83000 | #Constraints: 22682
102.11/102.86 c #Conflicts: 84000 | #Constraints: 23682
102.11/102.86 c #Conflicts: 85000 | #Constraints: 24682
102.11/102.86 c #Conflicts: 86000 | #Constraints: 25682
102.11/102.86 c #Conflicts: 87000 | #Constraints: 26682
102.11/102.86 c #Conflicts: 88000 | #Constraints: 27682
102.11/102.86 c #Conflicts: 89000 | #Constraints: 28682
102.11/102.86 c #Conflicts: 90000 | #Constraints: 29682
102.11/102.86 c #Conflicts: 91000 | #Constraints: 30682
102.11/102.86 c #Conflicts: 92000 | #Constraints: 31682
102.11/102.86 c #Conflicts: 93000 | #Constraints: 32682
102.11/102.86 c #Conflicts: 94000 | #Constraints: 33682
102.11/102.86 c #Conflicts: 95000 | #Constraints: 34682
102.11/102.86 c #Conflicts: 96000 | #Constraints: 35682
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 97000 | #Constraints: 22132
102.11/102.86 c #Conflicts: 98000 | #Constraints: 23132
102.11/102.86 c #Conflicts: 99000 | #Constraints: 24132
102.11/102.86 c #Conflicts: 100000 | #Constraints: 25132
102.11/102.86 c #Conflicts: 101000 | #Constraints: 26132
102.11/102.86 c #Conflicts: 102000 | #Constraints: 27132
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 103000 | #Constraints: 17384
102.11/102.86 c #Conflicts: 104000 | #Constraints: 18384
102.11/102.86 c #Conflicts: 105000 | #Constraints: 19384
102.11/102.86 c #Conflicts: 106000 | #Constraints: 20384
102.11/102.86 c #Conflicts: 107000 | #Constraints: 21384
102.11/102.86 c #Conflicts: 108000 | #Constraints: 22384
102.11/102.86 c #Conflicts: 109000 | #Constraints: 23384
102.11/102.86 c #Conflicts: 110000 | #Constraints: 24384
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 111000 | #Constraints: 16475
102.11/102.86 c #Conflicts: 112000 | #Constraints: 17475
102.11/102.86 c #Conflicts: 113000 | #Constraints: 18475
102.11/102.86 c #Conflicts: 114000 | #Constraints: 19475
102.11/102.86 c #Conflicts: 115000 | #Constraints: 20475
102.11/102.86 c #Conflicts: 116000 | #Constraints: 21475
102.11/102.86 c #Conflicts: 117000 | #Constraints: 22475
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 118000 | #Constraints: 15424
102.11/102.86 c #Conflicts: 119000 | #Constraints: 16424
102.11/102.86 c #Conflicts: 120000 | #Constraints: 17424
102.11/102.86 c #Conflicts: 121000 | #Constraints: 18424
102.11/102.86 c #Conflicts: 122000 | #Constraints: 19424
102.11/102.86 c #Conflicts: 123000 | #Constraints: 20424
102.11/102.86 c #Conflicts: 124000 | #Constraints: 21424
102.11/102.86 c INPROCESSING
102.11/102.86 c GARBAGE COLLECT
102.11/102.86 c #Conflicts: 125000 | #Constraints: 14591
166.34/167.21 c #Conflicts: 126000 | #Constraints: 15591
166.34/167.21 c #Conflicts: 127000 | #Constraints: 16591
166.34/167.21 c #Conflicts: 128000 | #Constraints: 17591
166.34/167.21 c #Conflicts: 129000 | #Constraints: 18591
166.34/167.21 c #Conflicts: 130000 | #Constraints: 19591
166.34/167.21 c #Conflicts: 131000 | #Constraints: 20591
166.34/167.21 c #Conflicts: 132000 | #Constraints: 21591
166.34/167.21 c INPROCESSING
166.34/167.21 c GARBAGE COLLECT
166.34/167.21 c #Conflicts: 133000 | #Constraints: 14813
166.34/167.21 c #Conflicts: 134000 | #Constraints: 15813
166.34/167.21 c #Conflicts: 135000 | #Constraints: 16813
166.34/167.21 c #Conflicts: 136000 | #Constraints: 17813
166.34/167.21 c #Conflicts: 137000 | #Constraints: 18813
166.34/167.21 c #Conflicts: 138000 | #Constraints: 19813
166.34/167.21 c #Conflicts: 139000 | #Constraints: 20813
166.34/167.21 c #Conflicts: 140000 | #Constraints: 21813
166.34/167.21 c #Conflicts: 141000 | #Constraints: 22813
166.34/167.21 c #Conflicts: 142000 | #Constraints: 23813
166.34/167.21 c #Conflicts: 143000 | #Constraints: 24813
166.34/167.21 c #Conflicts: 144000 | #Constraints: 25813
166.34/167.21 c #Conflicts: 145000 | #Constraints: 26813
166.34/167.21 c #Conflicts: 146000 | #Constraints: 27813
166.34/167.21 c #Conflicts: 147000 | #Constraints: 28813
166.34/167.21 c #Conflicts: 148000 | #Constraints: 29813
166.34/167.21 c #Conflicts: 149000 | #Constraints: 30813
166.34/167.21 c #Conflicts: 150000 | #Constraints: 31813
166.34/167.21 c #Conflicts: 151000 | #Constraints: 32813
166.34/167.21 c #Conflicts: 152000 | #Constraints: 33813
166.34/167.21 c #Conflicts: 153000 | #Constraints: 34813
166.34/167.21 c #Conflicts: 154000 | #Constraints: 35813
166.34/167.21 c #Conflicts: 155000 | #Constraints: 36813
166.34/167.21 c #Conflicts: 156000 | #Constraints: 37813
166.34/167.21 c #Conflicts: 157000 | #Constraints: 38813
166.34/167.21 c #Conflicts: 158000 | #Constraints: 39813
166.34/167.21 c #Conflicts: 159000 | #Constraints: 40813
166.34/167.21 c #Conflicts: 160000 | #Constraints: 41813
166.34/167.21 c #Conflicts: 161000 | #Constraints: 42813
166.34/167.21 c #Conflicts: 162000 | #Constraints: 43813
166.34/167.21 c #Conflicts: 163000 | #Constraints: 44813
166.34/167.21 c INPROCESSING
166.34/167.21 c GARBAGE COLLECT
166.34/167.21 c #Conflicts: 164000 | #Constraints: 26297
166.34/167.21 c #Conflicts: 165000 | #Constraints: 27297
166.34/167.21 c #Conflicts: 166000 | #Constraints: 28297
166.34/167.21 c #Conflicts: 167000 | #Constraints: 29297
166.34/167.21 c #Conflicts: 168000 | #Constraints: 30297
166.34/167.21 c #Conflicts: 169000 | #Constraints: 31297
166.34/167.21 c #Conflicts: 170000 | #Constraints: 32297
166.34/167.21 c #Conflicts: 171000 | #Constraints: 33297
166.34/167.21 c #Conflicts: 172000 | #Constraints: 34297
166.34/167.21 c INPROCESSING
166.34/167.21 c GARBAGE COLLECT
166.34/167.21 c #Conflicts: 173000 | #Constraints: 21134
166.34/167.21 c #Conflicts: 174000 | #Constraints: 22134
166.34/167.21 c #Conflicts: 175000 | #Constraints: 23134
166.34/167.21 c #Conflicts: 176000 | #Constraints: 24134
166.34/167.21 c #Conflicts: 177000 | #Constraints: 25134
166.34/167.21 c #Conflicts: 178000 | #Constraints: 26134
166.34/167.21 c #Conflicts: 179000 | #Constraints: 27134
166.34/167.21 c #Conflicts: 180000 | #Constraints: 28134
166.34/167.21 c #Conflicts: 181000 | #Constraints: 29134
166.34/167.21 c #Conflicts: 182000 | #Constraints: 30134
166.34/167.21 c INPROCESSING
166.34/167.21 c GARBAGE COLLECT
166.34/167.21 c #Conflicts: 183000 | #Constraints: 19404
166.34/167.21 c #Conflicts: 184000 | #Constraints: 20404
166.34/167.21 c #Conflicts: 185000 | #Constraints: 21404
166.34/167.21 c #Conflicts: 186000 | #Constraints: 22404
166.34/167.21 c #Conflicts: 187000 | #Constraints: 23404
166.34/167.21 c #Conflicts: 188000 | #Constraints: 24404
166.34/167.21 c #Conflicts: 189000 | #Constraints: 25404
166.34/167.21 c #Conflicts: 190000 | #Constraints: 26404
166.34/167.21 c #Conflicts: 191000 | #Constraints: 27404
166.34/167.21 c INPROCESSING
166.34/167.21 c GARBAGE COLLECT
166.34/167.21 c rational objective 90
183.20/184.11 c #Conflicts: 192000 | #Constraints: 17851
183.20/184.11 c #Conflicts: 193000 | #Constraints: 18851
183.20/184.11 c #Conflicts: 194000 | #Constraints: 19851
183.20/184.11 c #Conflicts: 195000 | #Constraints: 20851
183.20/184.11 c #Conflicts: 196000 | #Constraints: 21851
183.20/184.11 c #Conflicts: 197000 | #Constraints: 22851
183.20/184.11 c #Conflicts: 198000 | #Constraints: 23851
183.20/184.11 c #Conflicts: 199000 | #Constraints: 24851
183.20/184.11 c #Conflicts: 200000 | #Constraints: 25851
183.20/184.11 c #Conflicts: 201000 | #Constraints: 26851
183.20/184.11 c INPROCESSING
183.20/184.11 c GARBAGE COLLECT
183.20/184.11 c rational objective 90
286.92/288.18 c #Conflicts: 202000 | #Constraints: 17801
286.92/288.18 c #Conflicts: 203000 | #Constraints: 18801
286.92/288.18 c #Conflicts: 204000 | #Constraints: 19801
286.92/288.18 c #Conflicts: 205000 | #Constraints: 20801
286.92/288.18 c #Conflicts: 206000 | #Constraints: 21801
286.92/288.18 c #Conflicts: 207000 | #Constraints: 22801
286.92/288.18 c #Conflicts: 208000 | #Constraints: 23801
286.92/288.18 c #Conflicts: 209000 | #Constraints: 24801
286.92/288.18 c #Conflicts: 210000 | #Constraints: 25801
286.92/288.18 c #Conflicts: 211000 | #Constraints: 26801
286.92/288.18 c #Conflicts: 212000 | #Constraints: 27801
286.92/288.18 c #Conflicts: 213000 | #Constraints: 28801
286.92/288.18 c #Conflicts: 214000 | #Constraints: 29801
286.92/288.18 c #Conflicts: 215000 | #Constraints: 30801
286.92/288.18 c #Conflicts: 216000 | #Constraints: 31801
286.92/288.18 c #Conflicts: 217000 | #Constraints: 32801
286.92/288.18 c #Conflicts: 218000 | #Constraints: 33801
286.92/288.18 c #Conflicts: 219000 | #Constraints: 34801
286.92/288.18 c #Conflicts: 220000 | #Constraints: 35801
286.92/288.18 c #Conflicts: 221000 | #Constraints: 36801
286.92/288.18 c #Conflicts: 222000 | #Constraints: 37801
286.92/288.18 c #Conflicts: 223000 | #Constraints: 38801
286.92/288.18 c #Conflicts: 224000 | #Constraints: 39801
286.92/288.18 c #Conflicts: 225000 | #Constraints: 40801
286.92/288.18 c #Conflicts: 226000 | #Constraints: 41801
286.92/288.18 c #Conflicts: 227000 | #Constraints: 42801
286.92/288.18 c #Conflicts: 228000 | #Constraints: 43801
286.92/288.18 c #Conflicts: 229000 | #Constraints: 44801
286.92/288.18 c #Conflicts: 230000 | #Constraints: 45801
286.92/288.18 c #Conflicts: 231000 | #Constraints: 46801
286.92/288.18 c #Conflicts: 232000 | #Constraints: 47801
286.92/288.18 c #Conflicts: 233000 | #Constraints: 48801
286.92/288.18 c #Conflicts: 234000 | #Constraints: 49801
286.92/288.18 c #Conflicts: 235000 | #Constraints: 50801
286.92/288.18 c #Conflicts: 236000 | #Constraints: 51801
286.92/288.18 c #Conflicts: 237000 | #Constraints: 52801
286.92/288.18 c #Conflicts: 238000 | #Constraints: 53801
286.92/288.18 c INPROCESSING
286.92/288.18 c GARBAGE COLLECT
286.92/288.18 c #Conflicts: 239000 | #Constraints: 30870
286.92/288.18 c #Conflicts: 240000 | #Constraints: 31870
286.92/288.18 c #Conflicts: 241000 | #Constraints: 32870
286.92/288.18 c #Conflicts: 242000 | #Constraints: 33870
286.92/288.18 c #Conflicts: 243000 | #Constraints: 34870
286.92/288.18 c #Conflicts: 244000 | #Constraints: 35870
286.92/288.18 c #Conflicts: 245000 | #Constraints: 36870
286.92/288.18 c #Conflicts: 246000 | #Constraints: 37870
286.92/288.18 c #Conflicts: 247000 | #Constraints: 38870
286.92/288.18 c #Conflicts: 248000 | #Constraints: 39870
286.92/288.18 c #Conflicts: 249000 | #Constraints: 40870
286.92/288.18 c INPROCESSING
286.92/288.18 c GARBAGE COLLECT
286.92/288.18 c #Conflicts: 250000 | #Constraints: 24513
286.92/288.18 c #Conflicts: 251000 | #Constraints: 25513
286.92/288.18 c #Conflicts: 252000 | #Constraints: 26513
286.92/288.18 c #Conflicts: 253000 | #Constraints: 27513
286.92/288.18 c #Conflicts: 254000 | #Constraints: 28513
286.92/288.18 c #Conflicts: 255000 | #Constraints: 29513
286.92/288.18 c #Conflicts: 256000 | #Constraints: 30513
286.92/288.18 c #Conflicts: 257000 | #Constraints: 31513
286.92/288.18 c #Conflicts: 258000 | #Constraints: 32513
286.92/288.18 c #Conflicts: 259000 | #Constraints: 33513
286.92/288.18 c #Conflicts: 260000 | #Constraints: 34513
286.92/288.18 c INPROCESSING
286.92/288.18 c GARBAGE COLLECT
286.92/288.18 c #Conflicts: 261000 | #Constraints: 21248
286.92/288.18 c #Conflicts: 262000 | #Constraints: 22248
286.92/288.18 c #Conflicts: 263000 | #Constraints: 23248
286.92/288.18 c #Conflicts: 264000 | #Constraints: 24248
286.92/288.18 c #Conflicts: 265000 | #Constraints: 25248
286.92/288.18 c #Conflicts: 266000 | #Constraints: 26248
286.92/288.18 c #Conflicts: 267000 | #Constraints: 27248
286.92/288.18 c #Conflicts: 268000 | #Constraints: 28248
286.92/288.18 c #Conflicts: 269000 | #Constraints: 29248
286.92/288.18 c #Conflicts: 270000 | #Constraints: 30248
286.92/288.18 c #Conflicts: 271000 | #Constraints: 31248
286.92/288.18 c #Conflicts: 272000 | #Constraints: 32248
286.92/288.18 c INPROCESSING
286.92/288.18 c GARBAGE COLLECT
286.92/288.18 c #Conflicts: 273000 | #Constraints: 20520
286.92/288.18 c #Conflicts: 274000 | #Constraints: 21520
286.92/288.18 c #Conflicts: 275000 | #Constraints: 22520
286.92/288.18 c #Conflicts: 276000 | #Constraints: 23520
286.92/288.18 c #Conflicts: 277000 | #Constraints: 24520
286.92/288.18 c #Conflicts: 278000 | #Constraints: 25520
360.02/361.48 c #Conflicts: 279000 | #Constraints: 26520
360.02/361.48 c #Conflicts: 280000 | #Constraints: 27520
360.02/361.48 c #Conflicts: 281000 | #Constraints: 28520
360.02/361.48 c #Conflicts: 282000 | #Constraints: 29520
360.02/361.48 c #Conflicts: 283000 | #Constraints: 30520
360.02/361.48 c INPROCESSING
360.02/361.48 c GARBAGE COLLECT
360.02/361.48 c #Conflicts: 284000 | #Constraints: 19378
360.02/361.48 c #Conflicts: 285000 | #Constraints: 20378
360.02/361.48 c #Conflicts: 286000 | #Constraints: 21378
360.02/361.48 c #Conflicts: 287000 | #Constraints: 22378
360.02/361.48 c #Conflicts: 288000 | #Constraints: 23378
360.02/361.48 c #Conflicts: 289000 | #Constraints: 24378
360.02/361.48 c #Conflicts: 290000 | #Constraints: 25378
360.02/361.48 c #Conflicts: 291000 | #Constraints: 26378
360.02/361.48 c #Conflicts: 292000 | #Constraints: 27378
360.02/361.48 c #Conflicts: 293000 | #Constraints: 28378
360.02/361.48 c #Conflicts: 294000 | #Constraints: 29378
360.02/361.48 c #Conflicts: 295000 | #Constraints: 30378
360.02/361.48 c #Conflicts: 296000 | #Constraints: 31378
360.02/361.48 c #Conflicts: 297000 | #Constraints: 32378
360.02/361.48 c #Conflicts: 298000 | #Constraints: 33378
360.02/361.48 c #Conflicts: 299000 | #Constraints: 34378
360.02/361.48 c #Conflicts: 300000 | #Constraints: 35378
360.02/361.48 c #Conflicts: 301000 | #Constraints: 36378
360.02/361.48 c #Conflicts: 302000 | #Constraints: 37378
360.02/361.48 c #Conflicts: 303000 | #Constraints: 38378
360.02/361.48 c #Conflicts: 304000 | #Constraints: 39378
360.02/361.48 c #Conflicts: 305000 | #Constraints: 40378
360.02/361.48 c #Conflicts: 306000 | #Constraints: 41378
360.02/361.48 c #Conflicts: 307000 | #Constraints: 42378
360.02/361.48 c #Conflicts: 308000 | #Constraints: 43378
360.02/361.48 c #Conflicts: 309000 | #Constraints: 44378
360.02/361.48 c #Conflicts: 310000 | #Constraints: 45378
360.02/361.48 c #Conflicts: 311000 | #Constraints: 46378
360.02/361.48 c #Conflicts: 312000 | #Constraints: 47378
360.02/361.48 c #Conflicts: 313000 | #Constraints: 48378
360.02/361.48 c #Conflicts: 314000 | #Constraints: 49378
360.02/361.48 c #Conflicts: 315000 | #Constraints: 50378
360.02/361.48 c #Conflicts: 316000 | #Constraints: 51378
360.02/361.48 c #Conflicts: 317000 | #Constraints: 52378
360.02/361.48 c #Conflicts: 318000 | #Constraints: 53378
360.02/361.48 c #Conflicts: 319000 | #Constraints: 54378
360.02/361.48 c #Conflicts: 320000 | #Constraints: 55378
360.02/361.48 c #Conflicts: 321000 | #Constraints: 56378
360.02/361.48 c #Conflicts: 322000 | #Constraints: 57378
360.02/361.48 c #Conflicts: 323000 | #Constraints: 58378
360.02/361.48 c #Conflicts: 324000 | #Constraints: 59378
360.02/361.48 c #Conflicts: 325000 | #Constraints: 60378
360.02/361.48 c #Conflicts: 326000 | #Constraints: 61378
360.02/361.48 c #Conflicts: 327000 | #Constraints: 62378
360.02/361.48 c INPROCESSING
360.02/361.48 c GARBAGE COLLECT
360.02/361.48 c rational objective 90
385.76/387.23 c #Conflicts: 328000 | #Constraints: 35323
385.76/387.23 c #Conflicts: 329000 | #Constraints: 36323
385.76/387.23 c #Conflicts: 330000 | #Constraints: 37323
385.76/387.23 c #Conflicts: 331000 | #Constraints: 38323
385.76/387.23 c #Conflicts: 332000 | #Constraints: 39323
385.76/387.23 c #Conflicts: 333000 | #Constraints: 40323
385.76/387.23 c #Conflicts: 334000 | #Constraints: 41323
385.76/387.23 c #Conflicts: 335000 | #Constraints: 42323
385.76/387.23 c #Conflicts: 336000 | #Constraints: 43323
385.76/387.23 c #Conflicts: 337000 | #Constraints: 44323
385.76/387.23 c #Conflicts: 338000 | #Constraints: 45323
385.76/387.23 c #Conflicts: 339000 | #Constraints: 46323
385.76/387.23 c #Conflicts: 340000 | #Constraints: 47323
385.76/387.23 c INPROCESSING
385.76/387.23 c GARBAGE COLLECT
385.76/387.23 c rational objective 90
480.91/482.60 c #Conflicts: 341000 | #Constraints: 27892
480.91/482.60 c #Conflicts: 342000 | #Constraints: 28892
480.91/482.60 c #Conflicts: 343000 | #Constraints: 29892
480.91/482.60 c #Conflicts: 344000 | #Constraints: 30892
480.91/482.60 c #Conflicts: 345000 | #Constraints: 31892
480.91/482.60 c #Conflicts: 346000 | #Constraints: 32892
480.91/482.60 c #Conflicts: 347000 | #Constraints: 33892
480.91/482.60 c #Conflicts: 348000 | #Constraints: 34892
480.91/482.60 c #Conflicts: 349000 | #Constraints: 35892
480.91/482.60 c #Conflicts: 350000 | #Constraints: 36892
480.91/482.60 c #Conflicts: 351000 | #Constraints: 37892
480.91/482.60 c #Conflicts: 352000 | #Constraints: 38892
480.91/482.60 c #Conflicts: 353000 | #Constraints: 39892
480.91/482.60 c INPROCESSING
480.91/482.60 c GARBAGE COLLECT
480.91/482.60 c #Conflicts: 354000 | #Constraints: 24138
480.91/482.60 c #Conflicts: 355000 | #Constraints: 25138
480.91/482.60 c #Conflicts: 356000 | #Constraints: 26138
480.91/482.60 c #Conflicts: 357000 | #Constraints: 27138
480.91/482.60 c #Conflicts: 358000 | #Constraints: 28138
480.91/482.60 c #Conflicts: 359000 | #Constraints: 29138
480.91/482.60 c #Conflicts: 360000 | #Constraints: 30138
480.91/482.60 c #Conflicts: 361000 | #Constraints: 31138
480.91/482.60 c #Conflicts: 362000 | #Constraints: 32138
480.91/482.60 c #Conflicts: 363000 | #Constraints: 33138
480.91/482.60 c #Conflicts: 364000 | #Constraints: 34138
480.91/482.60 c #Conflicts: 365000 | #Constraints: 35138
480.91/482.60 c #Conflicts: 366000 | #Constraints: 36138
480.91/482.60 c INPROCESSING
480.91/482.60 c GARBAGE COLLECT
480.91/482.60 c #Conflicts: 367000 | #Constraints: 22205
480.91/482.60 c #Conflicts: 368000 | #Constraints: 23205
480.91/482.60 c #Conflicts: 369000 | #Constraints: 24205
480.91/482.60 c #Conflicts: 370000 | #Constraints: 25205
480.91/482.60 c #Conflicts: 371000 | #Constraints: 26205
480.91/482.60 c #Conflicts: 372000 | #Constraints: 27205
480.91/482.60 c #Conflicts: 373000 | #Constraints: 28205
480.91/482.60 c #Conflicts: 374000 | #Constraints: 29205
480.91/482.60 c #Conflicts: 375000 | #Constraints: 30205
480.91/482.60 c #Conflicts: 376000 | #Constraints: 31205
480.91/482.60 c #Conflicts: 377000 | #Constraints: 32205
480.91/482.60 c #Conflicts: 378000 | #Constraints: 33205
480.91/482.60 c #Conflicts: 379000 | #Constraints: 34205
480.91/482.60 c #Conflicts: 380000 | #Constraints: 35205
480.91/482.60 c INPROCESSING
480.91/482.60 c GARBAGE COLLECT
480.91/482.60 c #Conflicts: 381000 | #Constraints: 22012
480.91/482.60 c #Conflicts: 382000 | #Constraints: 23012
480.91/482.60 c #Conflicts: 383000 | #Constraints: 24012
480.91/482.60 c #Conflicts: 384000 | #Constraints: 25012
480.91/482.60 c #Conflicts: 385000 | #Constraints: 26012
480.91/482.60 c #Conflicts: 386000 | #Constraints: 27012
480.91/482.60 c #Conflicts: 387000 | #Constraints: 28012
480.91/482.60 c #Conflicts: 388000 | #Constraints: 29012
480.91/482.60 c #Conflicts: 389000 | #Constraints: 30012
480.91/482.60 c #Conflicts: 390000 | #Constraints: 31012
480.91/482.60 c #Conflicts: 391000 | #Constraints: 32012
480.91/482.60 c #Conflicts: 392000 | #Constraints: 33012
480.91/482.60 c #Conflicts: 393000 | #Constraints: 34012
480.91/482.60 c #Conflicts: 394000 | #Constraints: 35012
480.91/482.60 c #Conflicts: 395000 | #Constraints: 36012
480.91/482.60 c #Conflicts: 396000 | #Constraints: 37012
480.91/482.60 c #Conflicts: 397000 | #Constraints: 38012
480.91/482.60 c #Conflicts: 398000 | #Constraints: 39012
480.91/482.60 c #Conflicts: 399000 | #Constraints: 40012
480.91/482.60 c #Conflicts: 400000 | #Constraints: 41012
480.91/482.60 c #Conflicts: 401000 | #Constraints: 42012
480.91/482.60 c #Conflicts: 402000 | #Constraints: 43012
480.91/482.60 c #Conflicts: 403000 | #Constraints: 44012
480.91/482.60 c #Conflicts: 404000 | #Constraints: 45012
480.91/482.60 c #Conflicts: 405000 | #Constraints: 46012
480.91/482.60 c #Conflicts: 406000 | #Constraints: 47012
480.91/482.60 c #Conflicts: 407000 | #Constraints: 48012
480.91/482.60 c #Conflicts: 408000 | #Constraints: 49012
480.91/482.60 c #Conflicts: 409000 | #Constraints: 50012
480.91/482.60 c #Conflicts: 410000 | #Constraints: 51012
480.91/482.60 c #Conflicts: 411000 | #Constraints: 52012
480.91/482.60 c #Conflicts: 412000 | #Constraints: 53012
480.91/482.60 c #Conflicts: 413000 | #Constraints: 54012
480.91/482.60 c #Conflicts: 414000 | #Constraints: 55012
480.91/482.60 c #Conflicts: 415000 | #Constraints: 56012
480.91/482.60 c #Conflicts: 416000 | #Constraints: 57012
480.91/482.60 c #Conflicts: 417000 | #Constraints: 58012
572.77/574.75 c #Conflicts: 418000 | #Constraints: 59012
572.77/574.75 c #Conflicts: 419000 | #Constraints: 60012
572.77/574.75 c #Conflicts: 420000 | #Constraints: 61012
572.77/574.75 c #Conflicts: 421000 | #Constraints: 62012
572.77/574.75 c #Conflicts: 422000 | #Constraints: 63012
572.77/574.75 c #Conflicts: 423000 | #Constraints: 64012
572.77/574.75 c #Conflicts: 424000 | #Constraints: 65012
572.77/574.75 c #Conflicts: 425000 | #Constraints: 66012
572.77/574.75 c #Conflicts: 426000 | #Constraints: 67012
572.77/574.75 c #Conflicts: 427000 | #Constraints: 68012
572.77/574.75 c #Conflicts: 428000 | #Constraints: 69012
572.77/574.75 c #Conflicts: 429000 | #Constraints: 70012
572.77/574.75 c #Conflicts: 430000 | #Constraints: 71012
572.77/574.75 c INPROCESSING
572.77/574.75 c GARBAGE COLLECT
572.77/574.75 c #Conflicts: 431000 | #Constraints: 39715
572.77/574.75 c #Conflicts: 432000 | #Constraints: 40715
572.77/574.75 c #Conflicts: 433000 | #Constraints: 41715
572.77/574.75 c #Conflicts: 434000 | #Constraints: 42715
572.77/574.75 c #Conflicts: 435000 | #Constraints: 43715
572.77/574.75 c #Conflicts: 436000 | #Constraints: 44715
572.77/574.75 c #Conflicts: 437000 | #Constraints: 45715
572.77/574.75 c #Conflicts: 438000 | #Constraints: 46715
572.77/574.75 c #Conflicts: 439000 | #Constraints: 47715
572.77/574.75 c #Conflicts: 440000 | #Constraints: 48715
572.77/574.75 c #Conflicts: 441000 | #Constraints: 49715
572.77/574.75 c #Conflicts: 442000 | #Constraints: 50715
572.77/574.75 c #Conflicts: 443000 | #Constraints: 51715
572.77/574.75 c #Conflicts: 444000 | #Constraints: 52715
572.77/574.75 c #Conflicts: 445000 | #Constraints: 53715
572.77/574.75 c INPROCESSING
572.77/574.75 c GARBAGE COLLECT
572.77/574.75 c #Conflicts: 446000 | #Constraints: 31196
572.77/574.75 c #Conflicts: 447000 | #Constraints: 32196
572.77/574.75 c #Conflicts: 448000 | #Constraints: 33196
572.77/574.75 c #Conflicts: 449000 | #Constraints: 34196
572.77/574.75 c #Conflicts: 450000 | #Constraints: 35196
572.77/574.75 c #Conflicts: 451000 | #Constraints: 36196
572.77/574.75 c #Conflicts: 452000 | #Constraints: 37196
572.77/574.75 c #Conflicts: 453000 | #Constraints: 38196
572.77/574.75 c #Conflicts: 454000 | #Constraints: 39196
572.77/574.75 c #Conflicts: 455000 | #Constraints: 40196
572.77/574.75 c #Conflicts: 456000 | #Constraints: 41196
572.77/574.75 c #Conflicts: 457000 | #Constraints: 42196
572.77/574.75 c #Conflicts: 458000 | #Constraints: 43196
572.77/574.75 c #Conflicts: 459000 | #Constraints: 44196
572.77/574.75 c #Conflicts: 460000 | #Constraints: 45196
572.77/574.75 c INPROCESSING
572.77/574.75 c GARBAGE COLLECT
572.77/574.75 c #Conflicts: 461000 | #Constraints: 27058
572.77/574.75 c #Conflicts: 462000 | #Constraints: 28058
572.77/574.75 c #Conflicts: 463000 | #Constraints: 29058
572.77/574.75 c #Conflicts: 464000 | #Constraints: 30058
572.77/574.75 c #Conflicts: 465000 | #Constraints: 31058
572.77/574.75 c #Conflicts: 466000 | #Constraints: 32058
572.77/574.75 c #Conflicts: 467000 | #Constraints: 33058
572.77/574.75 c #Conflicts: 468000 | #Constraints: 34058
572.77/574.75 c #Conflicts: 469000 | #Constraints: 35058
572.77/574.75 c #Conflicts: 470000 | #Constraints: 36058
572.77/574.75 c #Conflicts: 471000 | #Constraints: 37058
572.77/574.75 c #Conflicts: 472000 | #Constraints: 38058
572.77/574.75 c #Conflicts: 473000 | #Constraints: 39058
572.77/574.75 c #Conflicts: 474000 | #Constraints: 40058
572.77/574.75 c #Conflicts: 475000 | #Constraints: 41058
572.77/574.75 c INPROCESSING
572.77/574.75 c GARBAGE COLLECT
572.77/574.75 c rational objective 90
708.09/710.40 c #Conflicts: 476000 | #Constraints: 24863
708.09/710.40 c #Conflicts: 477000 | #Constraints: 25863
708.09/710.40 c #Conflicts: 478000 | #Constraints: 26863
708.09/710.40 c #Conflicts: 479000 | #Constraints: 27863
708.09/710.40 c #Conflicts: 480000 | #Constraints: 28863
708.09/710.40 c #Conflicts: 481000 | #Constraints: 29863
708.09/710.40 c #Conflicts: 482000 | #Constraints: 30863
708.09/710.40 c #Conflicts: 483000 | #Constraints: 31863
708.09/710.40 c #Conflicts: 484000 | #Constraints: 32863
708.09/710.40 c #Conflicts: 485000 | #Constraints: 33863
708.09/710.40 c #Conflicts: 486000 | #Constraints: 34863
708.09/710.40 c #Conflicts: 487000 | #Constraints: 35863
708.09/710.40 c #Conflicts: 488000 | #Constraints: 36863
708.09/710.40 c #Conflicts: 489000 | #Constraints: 37863
708.09/710.40 c #Conflicts: 490000 | #Constraints: 38863
708.09/710.40 c INPROCESSING
708.09/710.40 c GARBAGE COLLECT
708.09/710.40 c #Conflicts: 491000 | #Constraints: 23627
708.09/710.40 c #Conflicts: 492000 | #Constraints: 24627
708.09/710.40 c #Conflicts: 493000 | #Constraints: 25627
708.09/710.40 c #Conflicts: 494000 | #Constraints: 26627
708.09/710.40 c #Conflicts: 495000 | #Constraints: 27627
708.09/710.40 c #Conflicts: 496000 | #Constraints: 28627
708.09/710.40 c #Conflicts: 497000 | #Constraints: 29627
708.09/710.40 c #Conflicts: 498000 | #Constraints: 30627
708.09/710.40 c #Conflicts: 499000 | #Constraints: 31627
708.09/710.40 c #Conflicts: 500000 | #Constraints: 32627
708.09/710.40 c #Conflicts: 501000 | #Constraints: 33627
708.09/710.40 c #Conflicts: 502000 | #Constraints: 34627
708.09/710.40 c #Conflicts: 503000 | #Constraints: 35627
708.09/710.40 c #Conflicts: 504000 | #Constraints: 36627
708.09/710.40 c #Conflicts: 505000 | #Constraints: 37627
708.09/710.40 c #Conflicts: 506000 | #Constraints: 38627
708.09/710.40 c #Conflicts: 507000 | #Constraints: 39627
708.09/710.40 c #Conflicts: 508000 | #Constraints: 40627
708.09/710.40 c #Conflicts: 509000 | #Constraints: 41627
708.09/710.40 c #Conflicts: 510000 | #Constraints: 42627
708.09/710.40 c #Conflicts: 511000 | #Constraints: 43627
708.09/710.40 c #Conflicts: 512000 | #Constraints: 44627
708.09/710.40 c #Conflicts: 513000 | #Constraints: 45627
708.09/710.40 c #Conflicts: 514000 | #Constraints: 46627
708.09/710.40 c #Conflicts: 515000 | #Constraints: 47627
708.09/710.40 c #Conflicts: 516000 | #Constraints: 48627
708.09/710.40 c #Conflicts: 517000 | #Constraints: 49627
708.09/710.40 c #Conflicts: 518000 | #Constraints: 50627
708.09/710.40 c #Conflicts: 519000 | #Constraints: 51627
708.09/710.40 c #Conflicts: 520000 | #Constraints: 52627
708.09/710.40 c #Conflicts: 521000 | #Constraints: 53627
708.09/710.40 c #Conflicts: 522000 | #Constraints: 54627
708.09/710.40 c #Conflicts: 523000 | #Constraints: 55627
708.09/710.40 c #Conflicts: 524000 | #Constraints: 56627
708.09/710.40 c #Conflicts: 525000 | #Constraints: 57627
708.09/710.40 c #Conflicts: 526000 | #Constraints: 58627
708.09/710.40 c #Conflicts: 527000 | #Constraints: 59627
708.09/710.40 c #Conflicts: 528000 | #Constraints: 60627
708.09/710.40 c #Conflicts: 529000 | #Constraints: 61627
708.09/710.40 c #Conflicts: 530000 | #Constraints: 62627
708.09/710.40 c #Conflicts: 531000 | #Constraints: 63627
708.09/710.40 c #Conflicts: 532000 | #Constraints: 64627
708.09/710.40 c #Conflicts: 533000 | #Constraints: 65627
708.09/710.40 c #Conflicts: 534000 | #Constraints: 66627
708.09/710.40 c #Conflicts: 535000 | #Constraints: 67627
708.09/710.40 c #Conflicts: 536000 | #Constraints: 68627
708.09/710.40 c #Conflicts: 537000 | #Constraints: 69627
708.09/710.40 c #Conflicts: 538000 | #Constraints: 70627
708.09/710.40 c #Conflicts: 539000 | #Constraints: 71627
708.09/710.40 c #Conflicts: 540000 | #Constraints: 72627
708.09/710.40 c #Conflicts: 541000 | #Constraints: 73627
708.09/710.40 c #Conflicts: 542000 | #Constraints: 74627
708.09/710.40 c #Conflicts: 543000 | #Constraints: 75627
708.09/710.40 c #Conflicts: 544000 | #Constraints: 76627
708.09/710.40 c #Conflicts: 545000 | #Constraints: 77627
708.09/710.40 c #Conflicts: 546000 | #Constraints: 78627
708.09/710.40 c #Conflicts: 547000 | #Constraints: 79627
708.09/710.40 c INPROCESSING
708.09/710.40 c GARBAGE COLLECT
708.09/710.40 c #Conflicts: 548000 | #Constraints: 44074
708.09/710.40 c #Conflicts: 549000 | #Constraints: 45074
708.09/710.40 c #Conflicts: 550000 | #Constraints: 46074
708.09/710.40 c #Conflicts: 551000 | #Constraints: 47074
708.09/710.40 c #Conflicts: 552000 | #Constraints: 48074
708.09/710.40 c #Conflicts: 553000 | #Constraints: 49074
805.12/807.72 c #Conflicts: 554000 | #Constraints: 50074
805.12/807.72 c #Conflicts: 555000 | #Constraints: 51074
805.12/807.72 c #Conflicts: 556000 | #Constraints: 52074
805.12/807.72 c #Conflicts: 557000 | #Constraints: 53074
805.12/807.72 c #Conflicts: 558000 | #Constraints: 54074
805.12/807.72 c #Conflicts: 559000 | #Constraints: 55074
805.12/807.72 c #Conflicts: 560000 | #Constraints: 56074
805.12/807.72 c #Conflicts: 561000 | #Constraints: 57074
805.12/807.72 c #Conflicts: 562000 | #Constraints: 58074
805.12/807.72 c #Conflicts: 563000 | #Constraints: 59074
805.12/807.72 c #Conflicts: 564000 | #Constraints: 60074
805.12/807.72 c INPROCESSING
805.12/807.72 c GARBAGE COLLECT
805.12/807.72 c #Conflicts: 565000 | #Constraints: 34558
805.12/807.72 c #Conflicts: 566000 | #Constraints: 35558
805.12/807.72 c #Conflicts: 567000 | #Constraints: 36558
805.12/807.72 c #Conflicts: 568000 | #Constraints: 37558
805.12/807.72 c #Conflicts: 569000 | #Constraints: 38558
805.12/807.72 c #Conflicts: 570000 | #Constraints: 39558
805.12/807.72 c #Conflicts: 571000 | #Constraints: 40558
805.12/807.72 c #Conflicts: 572000 | #Constraints: 41558
805.12/807.72 c #Conflicts: 573000 | #Constraints: 42558
805.12/807.72 c #Conflicts: 574000 | #Constraints: 43558
805.12/807.72 c #Conflicts: 575000 | #Constraints: 44558
805.12/807.72 c #Conflicts: 576000 | #Constraints: 45558
805.12/807.72 c #Conflicts: 577000 | #Constraints: 46558
805.12/807.72 c #Conflicts: 578000 | #Constraints: 47558
805.12/807.72 c #Conflicts: 579000 | #Constraints: 48558
805.12/807.72 c #Conflicts: 580000 | #Constraints: 49558
805.12/807.72 c INPROCESSING
805.12/807.72 c GARBAGE COLLECT
805.12/807.72 c #Conflicts: 581000 | #Constraints: 28830
805.12/807.72 c #Conflicts: 582000 | #Constraints: 29830
805.12/807.72 c #Conflicts: 583000 | #Constraints: 30830
805.12/807.72 c #Conflicts: 584000 | #Constraints: 31830
805.12/807.72 c #Conflicts: 585000 | #Constraints: 32830
805.12/807.72 c #Conflicts: 586000 | #Constraints: 33830
805.12/807.72 c #Conflicts: 587000 | #Constraints: 34830
805.12/807.72 c #Conflicts: 588000 | #Constraints: 35830
805.12/807.72 c #Conflicts: 589000 | #Constraints: 36830
805.12/807.72 c #Conflicts: 590000 | #Constraints: 37830
805.12/807.72 c #Conflicts: 591000 | #Constraints: 38830
805.12/807.72 c #Conflicts: 592000 | #Constraints: 39830
805.12/807.72 c #Conflicts: 593000 | #Constraints: 40830
805.12/807.72 c #Conflicts: 594000 | #Constraints: 41830
805.12/807.72 c #Conflicts: 595000 | #Constraints: 42830
805.12/807.72 c #Conflicts: 596000 | #Constraints: 43830
805.12/807.72 c #Conflicts: 597000 | #Constraints: 44830
805.12/807.72 c INPROCESSING
805.12/807.72 c GARBAGE COLLECT
805.12/807.72 c #Conflicts: 598000 | #Constraints: 26484
805.12/807.72 c #Conflicts: 599000 | #Constraints: 27484
805.12/807.72 c #Conflicts: 600000 | #Constraints: 28484
805.12/807.72 c #Conflicts: 601000 | #Constraints: 29484
805.12/807.72 c #Conflicts: 602000 | #Constraints: 30484
805.12/807.72 c #Conflicts: 603000 | #Constraints: 31484
805.12/807.72 c #Conflicts: 604000 | #Constraints: 32484
805.12/807.72 c #Conflicts: 605000 | #Constraints: 33484
805.12/807.72 c #Conflicts: 606000 | #Constraints: 34484
805.12/807.72 c #Conflicts: 607000 | #Constraints: 35484
805.12/807.72 c #Conflicts: 608000 | #Constraints: 36484
805.12/807.72 c #Conflicts: 609000 | #Constraints: 37484
805.12/807.72 c #Conflicts: 610000 | #Constraints: 38484
805.12/807.72 c #Conflicts: 611000 | #Constraints: 39484
805.12/807.72 c #Conflicts: 612000 | #Constraints: 40484
805.12/807.72 c #Conflicts: 613000 | #Constraints: 41484
805.12/807.72 c #Conflicts: 614000 | #Constraints: 42484
805.12/807.72 c #Conflicts: 615000 | #Constraints: 43484
805.12/807.72 c INPROCESSING
805.12/807.72 c GARBAGE COLLECT
805.12/807.72 c #Conflicts: 616000 | #Constraints: 26176
805.12/807.72 c #Conflicts: 617000 | #Constraints: 27176
805.12/807.72 c #Conflicts: 618000 | #Constraints: 28176
805.12/807.72 c #Conflicts: 619000 | #Constraints: 29176
805.12/807.72 c #Conflicts: 620000 | #Constraints: 30176
805.12/807.72 c #Conflicts: 621000 | #Constraints: 31176
805.12/807.72 c #Conflicts: 622000 | #Constraints: 32176
805.12/807.72 c #Conflicts: 623000 | #Constraints: 33176
805.12/807.72 c #Conflicts: 624000 | #Constraints: 34176
805.12/807.72 c #Conflicts: 625000 | #Constraints: 35176
805.12/807.72 c #Conflicts: 626000 | #Constraints: 36176
805.12/807.72 c #Conflicts: 627000 | #Constraints: 37176
805.12/807.72 c #Conflicts: 628000 | #Constraints: 38176
805.12/807.72 c #Conflicts: 629000 | #Constraints: 39176
953.63/956.69 c #Conflicts: 630000 | #Constraints: 40176
953.63/956.69 c #Conflicts: 631000 | #Constraints: 41176
953.63/956.69 c #Conflicts: 632000 | #Constraints: 42176
953.63/956.69 c #Conflicts: 633000 | #Constraints: 43176
953.63/956.69 c #Conflicts: 634000 | #Constraints: 44176
953.63/956.69 c #Conflicts: 635000 | #Constraints: 45176
953.63/956.69 c #Conflicts: 636000 | #Constraints: 46176
953.63/956.69 c #Conflicts: 637000 | #Constraints: 47176
953.63/956.69 c #Conflicts: 638000 | #Constraints: 48176
953.63/956.69 c #Conflicts: 639000 | #Constraints: 49176
953.63/956.69 c #Conflicts: 640000 | #Constraints: 50176
953.63/956.69 c #Conflicts: 641000 | #Constraints: 51176
953.63/956.69 c #Conflicts: 642000 | #Constraints: 52176
953.63/956.69 c #Conflicts: 643000 | #Constraints: 53176
953.63/956.69 c #Conflicts: 644000 | #Constraints: 54176
953.63/956.69 c #Conflicts: 645000 | #Constraints: 55176
953.63/956.69 c #Conflicts: 646000 | #Constraints: 56176
953.63/956.69 c #Conflicts: 647000 | #Constraints: 57176
953.63/956.69 c #Conflicts: 648000 | #Constraints: 58176
953.63/956.69 c #Conflicts: 649000 | #Constraints: 59176
953.63/956.69 c #Conflicts: 650000 | #Constraints: 60176
953.63/956.69 c #Conflicts: 651000 | #Constraints: 61176
953.63/956.69 c #Conflicts: 652000 | #Constraints: 62176
953.63/956.69 c #Conflicts: 653000 | #Constraints: 63176
953.63/956.69 c #Conflicts: 654000 | #Constraints: 64176
953.63/956.69 c #Conflicts: 655000 | #Constraints: 65176
953.63/956.69 c #Conflicts: 656000 | #Constraints: 66176
953.63/956.69 c #Conflicts: 657000 | #Constraints: 67176
953.63/956.69 c #Conflicts: 658000 | #Constraints: 68176
953.63/956.69 c #Conflicts: 659000 | #Constraints: 69176
953.63/956.69 c #Conflicts: 660000 | #Constraints: 70176
953.63/956.69 c #Conflicts: 661000 | #Constraints: 71176
953.63/956.69 c #Conflicts: 662000 | #Constraints: 72176
953.63/956.69 c #Conflicts: 663000 | #Constraints: 73176
953.63/956.69 c #Conflicts: 664000 | #Constraints: 74176
953.63/956.69 c #Conflicts: 665000 | #Constraints: 75176
953.63/956.69 c #Conflicts: 666000 | #Constraints: 76176
953.63/956.69 c #Conflicts: 667000 | #Constraints: 77176
953.63/956.69 c #Conflicts: 668000 | #Constraints: 78176
953.63/956.69 c #Conflicts: 669000 | #Constraints: 79176
953.63/956.69 c #Conflicts: 670000 | #Constraints: 80176
953.63/956.69 c #Conflicts: 671000 | #Constraints: 81176
953.63/956.69 c #Conflicts: 672000 | #Constraints: 82176
953.63/956.69 c #Conflicts: 673000 | #Constraints: 83176
953.63/956.69 c #Conflicts: 674000 | #Constraints: 84176
953.63/956.69 c #Conflicts: 675000 | #Constraints: 85176
953.63/956.69 c #Conflicts: 676000 | #Constraints: 86176
953.63/956.69 c #Conflicts: 677000 | #Constraints: 87176
953.63/956.69 c #Conflicts: 678000 | #Constraints: 88176
953.63/956.69 c INPROCESSING
953.63/956.69 c GARBAGE COLLECT
953.63/956.69 c rational objective 90
993.63/996.73 c #Conflicts: 679000 | #Constraints: 48433
993.63/996.73 c #Conflicts: 680000 | #Constraints: 49433
993.63/996.73 c #Conflicts: 681000 | #Constraints: 50433
993.63/996.73 c #Conflicts: 682000 | #Constraints: 51433
993.63/996.73 c #Conflicts: 683000 | #Constraints: 52433
993.63/996.73 c #Conflicts: 684000 | #Constraints: 53433
993.63/996.73 c #Conflicts: 685000 | #Constraints: 54433
993.63/996.73 c #Conflicts: 686000 | #Constraints: 55433
993.63/996.73 c #Conflicts: 687000 | #Constraints: 56433
993.63/996.73 c #Conflicts: 688000 | #Constraints: 57433
993.63/996.73 c #Conflicts: 689000 | #Constraints: 58433
993.63/996.73 c #Conflicts: 690000 | #Constraints: 59433
993.63/996.73 c #Conflicts: 691000 | #Constraints: 60433
993.63/996.73 c #Conflicts: 692000 | #Constraints: 61433
993.63/996.73 c #Conflicts: 693000 | #Constraints: 62433
993.63/996.73 c #Conflicts: 694000 | #Constraints: 63433
993.63/996.73 c #Conflicts: 695000 | #Constraints: 64433
993.63/996.73 c #Conflicts: 696000 | #Constraints: 65433
993.63/996.73 c INPROCESSING
993.63/996.73 c GARBAGE COLLECT
993.63/996.73 c rational objective 90
1030.65/1033.83 c #Conflicts: 697000 | #Constraints: 36860
1030.65/1033.83 c #Conflicts: 698000 | #Constraints: 37860
1030.65/1033.83 c #Conflicts: 699000 | #Constraints: 38860
1030.65/1033.83 c #Conflicts: 700000 | #Constraints: 39860
1030.65/1033.83 c #Conflicts: 701000 | #Constraints: 40860
1030.65/1033.83 c #Conflicts: 702000 | #Constraints: 41860
1030.65/1033.83 c #Conflicts: 703000 | #Constraints: 42860
1030.65/1033.83 c #Conflicts: 704000 | #Constraints: 43860
1030.65/1033.83 c #Conflicts: 705000 | #Constraints: 44860
1030.65/1033.83 c #Conflicts: 706000 | #Constraints: 45860
1030.65/1033.83 c #Conflicts: 707000 | #Constraints: 46860
1030.65/1033.83 c #Conflicts: 708000 | #Constraints: 47860
1030.65/1033.83 c #Conflicts: 709000 | #Constraints: 48860
1030.65/1033.83 c #Conflicts: 710000 | #Constraints: 49860
1030.65/1033.83 c #Conflicts: 711000 | #Constraints: 50860
1030.65/1033.83 c #Conflicts: 712000 | #Constraints: 51860
1030.65/1033.83 c #Conflicts: 713000 | #Constraints: 52860
1030.65/1033.83 c #Conflicts: 714000 | #Constraints: 53860
1030.65/1033.83 c #Conflicts: 715000 | #Constraints: 54860
1030.65/1033.83 c INPROCESSING
1030.65/1033.83 c GARBAGE COLLECT
1030.65/1033.83 c rational objective 90
1140.88/1144.31 c #Conflicts: 716000 | #Constraints: 31639
1140.88/1144.31 c #Conflicts: 717000 | #Constraints: 32639
1140.88/1144.31 c #Conflicts: 718000 | #Constraints: 33639
1140.88/1144.31 c #Conflicts: 719000 | #Constraints: 34639
1140.88/1144.31 c #Conflicts: 720000 | #Constraints: 35639
1140.88/1144.31 c #Conflicts: 721000 | #Constraints: 36639
1140.88/1144.31 c #Conflicts: 722000 | #Constraints: 37639
1140.88/1144.31 c #Conflicts: 723000 | #Constraints: 38639
1140.88/1144.31 c #Conflicts: 724000 | #Constraints: 39639
1140.88/1144.31 c #Conflicts: 725000 | #Constraints: 40639
1140.88/1144.31 c #Conflicts: 726000 | #Constraints: 41639
1140.88/1144.31 c #Conflicts: 727000 | #Constraints: 42639
1140.88/1144.31 c #Conflicts: 728000 | #Constraints: 43639
1140.88/1144.31 c #Conflicts: 729000 | #Constraints: 44639
1140.88/1144.31 c #Conflicts: 730000 | #Constraints: 45639
1140.88/1144.31 c #Conflicts: 731000 | #Constraints: 46639
1140.88/1144.31 c #Conflicts: 732000 | #Constraints: 47639
1140.88/1144.31 c #Conflicts: 733000 | #Constraints: 48639
1140.88/1144.31 c #Conflicts: 734000 | #Constraints: 49639
1140.88/1144.31 c INPROCESSING
1140.88/1144.31 c GARBAGE COLLECT
1140.88/1144.31 c #Conflicts: 735000 | #Constraints: 29056
1140.88/1144.31 c #Conflicts: 736000 | #Constraints: 30056
1140.88/1144.31 c #Conflicts: 737000 | #Constraints: 31056
1140.88/1144.31 c #Conflicts: 738000 | #Constraints: 32056
1140.88/1144.31 c #Conflicts: 739000 | #Constraints: 33056
1140.88/1144.31 c #Conflicts: 740000 | #Constraints: 34056
1140.88/1144.31 c #Conflicts: 741000 | #Constraints: 35056
1140.88/1144.31 c #Conflicts: 742000 | #Constraints: 36056
1140.88/1144.31 c #Conflicts: 743000 | #Constraints: 37056
1140.88/1144.31 c #Conflicts: 744000 | #Constraints: 38056
1140.88/1144.31 c #Conflicts: 745000 | #Constraints: 39056
1140.88/1144.31 c #Conflicts: 746000 | #Constraints: 40056
1140.88/1144.31 c #Conflicts: 747000 | #Constraints: 41056
1140.88/1144.31 c #Conflicts: 748000 | #Constraints: 42056
1140.88/1144.31 c #Conflicts: 749000 | #Constraints: 43056
1140.88/1144.31 c #Conflicts: 750000 | #Constraints: 44056
1140.88/1144.31 c #Conflicts: 751000 | #Constraints: 45056
1140.88/1144.31 c #Conflicts: 752000 | #Constraints: 46056
1140.88/1144.31 c #Conflicts: 753000 | #Constraints: 47056
1140.88/1144.31 c INPROCESSING
1140.88/1144.31 c GARBAGE COLLECT
1140.88/1144.31 c #Conflicts: 754000 | #Constraints: 27694
1140.88/1144.31 c #Conflicts: 755000 | #Constraints: 28694
1140.88/1144.31 c #Conflicts: 756000 | #Constraints: 29694
1140.88/1144.31 c #Conflicts: 757000 | #Constraints: 30694
1140.88/1144.31 c #Conflicts: 758000 | #Constraints: 31694
1140.88/1144.31 c #Conflicts: 759000 | #Constraints: 32694
1140.88/1144.31 c #Conflicts: 760000 | #Constraints: 33694
1140.88/1144.31 c #Conflicts: 761000 | #Constraints: 34694
1140.88/1144.31 c #Conflicts: 762000 | #Constraints: 35694
1140.88/1144.31 c #Conflicts: 763000 | #Constraints: 36694
1140.88/1144.31 c #Conflicts: 764000 | #Constraints: 37694
1140.88/1144.31 c #Conflicts: 765000 | #Constraints: 38694
1140.88/1144.31 c #Conflicts: 766000 | #Constraints: 39694
1140.88/1144.31 c #Conflicts: 767000 | #Constraints: 40694
1140.88/1144.31 c #Conflicts: 768000 | #Constraints: 41694
1140.88/1144.31 c #Conflicts: 769000 | #Constraints: 42694
1140.88/1144.31 c #Conflicts: 770000 | #Constraints: 43694
1140.88/1144.31 c #Conflicts: 771000 | #Constraints: 44694
1140.88/1144.31 c #Conflicts: 772000 | #Constraints: 45694
1140.88/1144.31 c #Conflicts: 773000 | #Constraints: 46694
1140.88/1144.31 c #Conflicts: 774000 | #Constraints: 47694
1140.88/1144.31 c #Conflicts: 775000 | #Constraints: 48694
1140.88/1144.31 c #Conflicts: 776000 | #Constraints: 49694
1140.88/1144.31 c #Conflicts: 777000 | #Constraints: 50694
1140.88/1144.31 c #Conflicts: 778000 | #Constraints: 51694
1140.88/1144.31 c #Conflicts: 779000 | #Constraints: 52694
1140.88/1144.31 c #Conflicts: 780000 | #Constraints: 53694
1140.88/1144.31 c #Conflicts: 781000 | #Constraints: 54694
1140.88/1144.31 c #Conflicts: 782000 | #Constraints: 55694
1140.88/1144.31 c #Conflicts: 783000 | #Constraints: 56694
1140.88/1144.31 c #Conflicts: 784000 | #Constraints: 57694
1140.88/1144.31 c #Conflicts: 785000 | #Constraints: 58694
1140.88/1144.31 c #Conflicts: 786000 | #Constraints: 59694
1140.88/1144.31 c #Conflicts: 787000 | #Constraints: 60694
1140.88/1144.31 c #Conflicts: 788000 | #Constraints: 61694
1140.88/1144.31 c #Conflicts: 789000 | #Constraints: 62694
1140.88/1144.31 c #Conflicts: 790000 | #Constraints: 63694
1140.88/1144.31 c #Conflicts: 791000 | #Constraints: 64694
1140.88/1144.31 c #Conflicts: 792000 | #Constraints: 65694
1140.88/1144.31 c #Conflicts: 793000 | #Constraints: 66694
1234.75/1238.46 c #Conflicts: 794000 | #Constraints: 67694
1234.75/1238.46 c #Conflicts: 795000 | #Constraints: 68694
1234.75/1238.46 c #Conflicts: 796000 | #Constraints: 69694
1234.75/1238.46 c #Conflicts: 797000 | #Constraints: 70694
1234.75/1238.46 c #Conflicts: 798000 | #Constraints: 71694
1234.75/1238.46 c #Conflicts: 799000 | #Constraints: 72694
1234.75/1238.46 c #Conflicts: 800000 | #Constraints: 73694
1234.75/1238.46 c #Conflicts: 801000 | #Constraints: 74694
1234.75/1238.46 c #Conflicts: 802000 | #Constraints: 75694
1234.75/1238.46 c #Conflicts: 803000 | #Constraints: 76694
1234.75/1238.46 c #Conflicts: 804000 | #Constraints: 77694
1234.75/1238.46 c #Conflicts: 805000 | #Constraints: 78694
1234.75/1238.46 c #Conflicts: 806000 | #Constraints: 79694
1234.75/1238.46 c #Conflicts: 807000 | #Constraints: 80694
1234.75/1238.46 c #Conflicts: 808000 | #Constraints: 81694
1234.75/1238.46 c #Conflicts: 809000 | #Constraints: 82694
1234.75/1238.46 c #Conflicts: 810000 | #Constraints: 83694
1234.75/1238.46 c #Conflicts: 811000 | #Constraints: 84694
1234.75/1238.46 c #Conflicts: 812000 | #Constraints: 85694
1234.75/1238.46 c #Conflicts: 813000 | #Constraints: 86694
1234.75/1238.46 c #Conflicts: 814000 | #Constraints: 87694
1234.75/1238.46 c #Conflicts: 815000 | #Constraints: 88694
1234.75/1238.46 c #Conflicts: 816000 | #Constraints: 89694
1234.75/1238.46 c #Conflicts: 817000 | #Constraints: 90694
1234.75/1238.46 c #Conflicts: 818000 | #Constraints: 91694
1234.75/1238.46 c #Conflicts: 819000 | #Constraints: 92694
1234.75/1238.46 c #Conflicts: 820000 | #Constraints: 93694
1234.75/1238.46 c #Conflicts: 821000 | #Constraints: 94694
1234.75/1238.46 c #Conflicts: 822000 | #Constraints: 95694
1234.75/1238.46 c #Conflicts: 823000 | #Constraints: 96694
1234.75/1238.46 c INPROCESSING
1234.75/1238.46 c GARBAGE COLLECT
1234.75/1238.46 c rational objective 90
1280.45/1284.28 c #Conflicts: 824000 | #Constraints: 52715
1280.45/1284.28 c #Conflicts: 825000 | #Constraints: 53715
1280.45/1284.28 c #Conflicts: 826000 | #Constraints: 54715
1280.45/1284.28 c #Conflicts: 827000 | #Constraints: 55715
1280.45/1284.28 c #Conflicts: 828000 | #Constraints: 56715
1280.45/1284.28 c #Conflicts: 829000 | #Constraints: 57715
1280.45/1284.28 c #Conflicts: 830000 | #Constraints: 58715
1280.45/1284.28 c #Conflicts: 831000 | #Constraints: 59715
1280.45/1284.28 c #Conflicts: 832000 | #Constraints: 60715
1280.45/1284.28 c #Conflicts: 833000 | #Constraints: 61715
1280.45/1284.28 c #Conflicts: 834000 | #Constraints: 62715
1280.45/1284.28 c #Conflicts: 835000 | #Constraints: 63715
1280.45/1284.28 c #Conflicts: 836000 | #Constraints: 64715
1280.45/1284.28 c #Conflicts: 837000 | #Constraints: 65715
1280.45/1284.28 c #Conflicts: 838000 | #Constraints: 66715
1280.45/1284.28 c #Conflicts: 839000 | #Constraints: 67715
1280.45/1284.28 c #Conflicts: 840000 | #Constraints: 68715
1280.45/1284.28 c #Conflicts: 841000 | #Constraints: 69715
1280.45/1284.28 c #Conflicts: 842000 | #Constraints: 70715
1280.45/1284.28 c #Conflicts: 843000 | #Constraints: 71715
1280.45/1284.28 c INPROCESSING
1280.45/1284.28 c GARBAGE COLLECT
1280.45/1284.28 c rational objective 90
1370.53/1374.55 c #Conflicts: 844000 | #Constraints: 40123
1370.53/1374.55 c #Conflicts: 845000 | #Constraints: 41123
1370.53/1374.55 c #Conflicts: 846000 | #Constraints: 42123
1370.53/1374.55 c #Conflicts: 847000 | #Constraints: 43123
1370.53/1374.55 c #Conflicts: 848000 | #Constraints: 44123
1370.53/1374.55 c #Conflicts: 849000 | #Constraints: 45123
1370.53/1374.55 c #Conflicts: 850000 | #Constraints: 46123
1370.53/1374.55 c #Conflicts: 851000 | #Constraints: 47123
1370.53/1374.55 c #Conflicts: 852000 | #Constraints: 48123
1370.53/1374.55 c #Conflicts: 853000 | #Constraints: 49123
1370.53/1374.55 c #Conflicts: 854000 | #Constraints: 50123
1370.53/1374.55 c #Conflicts: 855000 | #Constraints: 51123
1370.53/1374.55 c #Conflicts: 856000 | #Constraints: 52123
1370.53/1374.55 c #Conflicts: 857000 | #Constraints: 53123
1370.53/1374.55 c #Conflicts: 858000 | #Constraints: 54123
1370.53/1374.55 c #Conflicts: 859000 | #Constraints: 55123
1370.53/1374.55 c #Conflicts: 860000 | #Constraints: 56123
1370.53/1374.55 c #Conflicts: 861000 | #Constraints: 57123
1370.53/1374.55 c #Conflicts: 862000 | #Constraints: 58123
1370.53/1374.55 c #Conflicts: 863000 | #Constraints: 59123
1370.53/1374.55 c #Conflicts: 864000 | #Constraints: 60123
1370.53/1374.55 c INPROCESSING
1370.53/1374.55 c GARBAGE COLLECT
1370.53/1374.55 c #Conflicts: 865000 | #Constraints: 34462
1370.53/1374.55 c #Conflicts: 866000 | #Constraints: 35462
1370.53/1374.55 c #Conflicts: 867000 | #Constraints: 36462
1370.53/1374.55 c #Conflicts: 868000 | #Constraints: 37462
1370.53/1374.55 c #Conflicts: 869000 | #Constraints: 38462
1370.53/1374.55 c #Conflicts: 870000 | #Constraints: 39462
1370.53/1374.55 c #Conflicts: 871000 | #Constraints: 40462
1370.53/1374.55 c #Conflicts: 872000 | #Constraints: 41462
1370.53/1374.55 c #Conflicts: 873000 | #Constraints: 42462
1370.53/1374.55 c #Conflicts: 874000 | #Constraints: 43462
1370.53/1374.55 c #Conflicts: 875000 | #Constraints: 44462
1370.53/1374.55 c #Conflicts: 876000 | #Constraints: 45462
1370.53/1374.55 c #Conflicts: 877000 | #Constraints: 46462
1370.53/1374.55 c #Conflicts: 878000 | #Constraints: 47462
1370.53/1374.55 c #Conflicts: 879000 | #Constraints: 48462
1370.53/1374.55 c #Conflicts: 880000 | #Constraints: 49462
1370.53/1374.55 c #Conflicts: 881000 | #Constraints: 50462
1370.53/1374.55 c #Conflicts: 882000 | #Constraints: 51462
1370.53/1374.55 c #Conflicts: 883000 | #Constraints: 52462
1370.53/1374.55 c #Conflicts: 884000 | #Constraints: 53462
1370.53/1374.55 c #Conflicts: 885000 | #Constraints: 54462
1370.53/1374.55 c INPROCESSING
1370.53/1374.55 c GARBAGE COLLECT
1370.53/1374.55 c #Conflicts: 886000 | #Constraints: 31684
1370.53/1374.55 c #Conflicts: 887000 | #Constraints: 32684
1370.53/1374.55 c #Conflicts: 888000 | #Constraints: 33684
1370.53/1374.55 c #Conflicts: 889000 | #Constraints: 34684
1370.53/1374.55 c #Conflicts: 890000 | #Constraints: 35684
1370.53/1374.55 c #Conflicts: 891000 | #Constraints: 36684
1370.53/1374.55 c #Conflicts: 892000 | #Constraints: 37684
1370.53/1374.55 c #Conflicts: 893000 | #Constraints: 38684
1370.53/1374.55 c #Conflicts: 894000 | #Constraints: 39684
1370.53/1374.55 c #Conflicts: 895000 | #Constraints: 40684
1370.53/1374.55 c #Conflicts: 896000 | #Constraints: 41684
1370.53/1374.55 c #Conflicts: 897000 | #Constraints: 42684
1370.53/1374.55 c #Conflicts: 898000 | #Constraints: 43684
1370.53/1374.55 c #Conflicts: 899000 | #Constraints: 44684
1370.53/1374.55 c #Conflicts: 900000 | #Constraints: 45684
1370.53/1374.55 c #Conflicts: 901000 | #Constraints: 46684
1370.53/1374.55 c #Conflicts: 902000 | #Constraints: 47684
1370.53/1374.55 c #Conflicts: 903000 | #Constraints: 48684
1370.53/1374.55 c #Conflicts: 904000 | #Constraints: 49684
1370.53/1374.55 c #Conflicts: 905000 | #Constraints: 50684
1370.53/1374.55 c #Conflicts: 906000 | #Constraints: 51684
1370.53/1374.55 c INPROCESSING
1370.53/1374.55 c GARBAGE COLLECT
1370.53/1374.55 c rational objective 90
1548.38/1552.86 c #Conflicts: 907000 | #Constraints: 30368
1548.38/1552.86 c #Conflicts: 908000 | #Constraints: 31368
1548.38/1552.86 c #Conflicts: 909000 | #Constraints: 32368
1548.38/1552.86 c #Conflicts: 910000 | #Constraints: 33368
1548.38/1552.86 c #Conflicts: 911000 | #Constraints: 34368
1548.38/1552.86 c #Conflicts: 912000 | #Constraints: 35368
1548.38/1552.86 c #Conflicts: 913000 | #Constraints: 36368
1548.38/1552.86 c #Conflicts: 914000 | #Constraints: 37368
1548.38/1552.86 c #Conflicts: 915000 | #Constraints: 38368
1548.38/1552.86 c #Conflicts: 916000 | #Constraints: 39368
1548.38/1552.86 c #Conflicts: 917000 | #Constraints: 40368
1548.38/1552.86 c #Conflicts: 918000 | #Constraints: 41368
1548.38/1552.86 c #Conflicts: 919000 | #Constraints: 42368
1548.38/1552.86 c #Conflicts: 920000 | #Constraints: 43368
1548.38/1552.86 c #Conflicts: 921000 | #Constraints: 44368
1548.38/1552.86 c #Conflicts: 922000 | #Constraints: 45368
1548.38/1552.86 c #Conflicts: 923000 | #Constraints: 46368
1548.38/1552.86 c #Conflicts: 924000 | #Constraints: 47368
1548.38/1552.86 c #Conflicts: 925000 | #Constraints: 48368
1548.38/1552.86 c #Conflicts: 926000 | #Constraints: 49368
1548.38/1552.86 c #Conflicts: 927000 | #Constraints: 50368
1548.38/1552.86 c #Conflicts: 928000 | #Constraints: 51368
1548.38/1552.86 c #Conflicts: 929000 | #Constraints: 52368
1548.38/1552.86 c #Conflicts: 930000 | #Constraints: 53368
1548.38/1552.86 c #Conflicts: 931000 | #Constraints: 54368
1548.38/1552.86 c #Conflicts: 932000 | #Constraints: 55368
1548.38/1552.86 c #Conflicts: 933000 | #Constraints: 56368
1548.38/1552.86 c #Conflicts: 934000 | #Constraints: 57368
1548.38/1552.86 c #Conflicts: 935000 | #Constraints: 58368
1548.38/1552.86 c #Conflicts: 936000 | #Constraints: 59368
1548.38/1552.86 c #Conflicts: 937000 | #Constraints: 60368
1548.38/1552.86 c #Conflicts: 938000 | #Constraints: 61368
1548.38/1552.86 c #Conflicts: 939000 | #Constraints: 62368
1548.38/1552.86 c #Conflicts: 940000 | #Constraints: 63368
1548.38/1552.86 c #Conflicts: 941000 | #Constraints: 64368
1548.38/1552.86 c #Conflicts: 942000 | #Constraints: 65368
1548.38/1552.86 c #Conflicts: 943000 | #Constraints: 66368
1548.38/1552.86 c #Conflicts: 944000 | #Constraints: 67368
1548.38/1552.86 c #Conflicts: 945000 | #Constraints: 68368
1548.38/1552.86 c #Conflicts: 946000 | #Constraints: 69368
1548.38/1552.86 c #Conflicts: 947000 | #Constraints: 70368
1548.38/1552.86 c #Conflicts: 948000 | #Constraints: 71368
1548.38/1552.86 c #Conflicts: 949000 | #Constraints: 72368
1548.38/1552.86 c #Conflicts: 950000 | #Constraints: 73368
1548.38/1552.86 c #Conflicts: 951000 | #Constraints: 74368
1548.38/1552.86 c #Conflicts: 952000 | #Constraints: 75368
1548.38/1552.86 c #Conflicts: 953000 | #Constraints: 76368
1548.38/1552.86 c #Conflicts: 954000 | #Constraints: 77368
1548.38/1552.86 c #Conflicts: 955000 | #Constraints: 78368
1548.38/1552.86 c #Conflicts: 956000 | #Constraints: 79368
1548.38/1552.86 c #Conflicts: 957000 | #Constraints: 80368
1548.38/1552.86 c #Conflicts: 958000 | #Constraints: 81368
1548.38/1552.86 c #Conflicts: 959000 | #Constraints: 82368
1548.38/1552.86 c #Conflicts: 960000 | #Constraints: 83368
1548.38/1552.86 c #Conflicts: 961000 | #Constraints: 84368
1548.38/1552.86 c #Conflicts: 962000 | #Constraints: 85368
1548.38/1552.86 c #Conflicts: 963000 | #Constraints: 86368
1548.38/1552.86 c #Conflicts: 964000 | #Constraints: 87368
1548.38/1552.86 c #Conflicts: 965000 | #Constraints: 88368
1548.38/1552.86 c #Conflicts: 966000 | #Constraints: 89368
1548.38/1552.86 c #Conflicts: 967000 | #Constraints: 90368
1548.38/1552.86 c #Conflicts: 968000 | #Constraints: 91368
1548.38/1552.86 c #Conflicts: 969000 | #Constraints: 92368
1548.38/1552.86 c #Conflicts: 970000 | #Constraints: 93368
1548.38/1552.86 c #Conflicts: 971000 | #Constraints: 94368
1548.38/1552.86 c #Conflicts: 972000 | #Constraints: 95368
1548.38/1552.86 c #Conflicts: 973000 | #Constraints: 96368
1548.38/1552.86 c #Conflicts: 974000 | #Constraints: 97368
1548.38/1552.86 c #Conflicts: 975000 | #Constraints: 98368
1548.38/1552.86 c #Conflicts: 976000 | #Constraints: 99368
1548.38/1552.86 c #Conflicts: 977000 | #Constraints: 100368
1548.38/1552.86 c #Conflicts: 978000 | #Constraints: 101368
1548.38/1552.86 c #Conflicts: 979000 | #Constraints: 102368
1548.38/1552.86 c #Conflicts: 980000 | #Constraints: 103368
1548.38/1552.86 c #Conflicts: 981000 | #Constraints: 104368
1548.38/1552.86 c #Conflicts: 982000 | #Constraints: 105368
1548.38/1552.86 c INPROCESSING
1548.38/1552.86 c GARBAGE COLLECT
1548.38/1552.86 c rational objective 90
1610.32/1614.96 c #Conflicts: 983000 | #Constraints: 57080
1610.32/1614.96 c #Conflicts: 984000 | #Constraints: 58080
1610.32/1614.96 c #Conflicts: 985000 | #Constraints: 59080
1610.32/1614.96 c #Conflicts: 986000 | #Constraints: 60080
1610.32/1614.96 c #Conflicts: 987000 | #Constraints: 61080
1610.32/1614.96 c #Conflicts: 988000 | #Constraints: 62080
1610.32/1614.96 c #Conflicts: 989000 | #Constraints: 63080
1610.32/1614.96 c #Conflicts: 990000 | #Constraints: 64080
1610.32/1614.96 c #Conflicts: 991000 | #Constraints: 65080
1610.32/1614.96 c #Conflicts: 992000 | #Constraints: 66080
1610.32/1614.96 c #Conflicts: 993000 | #Constraints: 67080
1610.32/1614.96 c #Conflicts: 994000 | #Constraints: 68080
1610.32/1614.96 c #Conflicts: 995000 | #Constraints: 69080
1610.32/1614.96 c #Conflicts: 996000 | #Constraints: 70080
1610.32/1614.96 c #Conflicts: 997000 | #Constraints: 71080
1610.32/1614.96 c #Conflicts: 998000 | #Constraints: 72080
1610.32/1614.96 c #Conflicts: 999000 | #Constraints: 73080
1610.32/1614.96 c #Conflicts: 1000000 | #Constraints: 74080
1610.32/1614.96 c #Conflicts: 1001000 | #Constraints: 75080
1610.32/1614.96 c #Conflicts: 1002000 | #Constraints: 76080
1610.32/1614.96 c #Conflicts: 1003000 | #Constraints: 77080
1610.32/1614.96 c #Conflicts: 1004000 | #Constraints: 78080
1610.32/1614.96 c INPROCESSING
1610.32/1614.96 c GARBAGE COLLECT
1610.32/1614.96 c rational objective 90
1754.34/1759.36 c #Conflicts: 1005000 | #Constraints: 43366
1754.34/1759.36 c #Conflicts: 1006000 | #Constraints: 44366
1754.34/1759.36 c #Conflicts: 1007000 | #Constraints: 45366
1754.34/1759.36 c #Conflicts: 1008000 | #Constraints: 46366
1754.34/1759.36 c #Conflicts: 1009000 | #Constraints: 47366
1754.34/1759.36 c #Conflicts: 1010000 | #Constraints: 48366
1754.34/1759.36 c #Conflicts: 1011000 | #Constraints: 49366
1754.34/1759.36 c #Conflicts: 1012000 | #Constraints: 50366
1754.34/1759.36 c #Conflicts: 1013000 | #Constraints: 51366
1754.34/1759.36 c #Conflicts: 1014000 | #Constraints: 52366
1754.34/1759.36 c #Conflicts: 1015000 | #Constraints: 53366
1754.34/1759.36 c #Conflicts: 1016000 | #Constraints: 54366
1754.34/1759.36 c #Conflicts: 1017000 | #Constraints: 55366
1754.34/1759.36 c #Conflicts: 1018000 | #Constraints: 56366
1754.34/1759.36 c #Conflicts: 1019000 | #Constraints: 57366
1754.34/1759.36 c #Conflicts: 1020000 | #Constraints: 58366
1754.34/1759.36 c #Conflicts: 1021000 | #Constraints: 59366
1754.34/1759.36 c #Conflicts: 1022000 | #Constraints: 60366
1754.34/1759.36 c #Conflicts: 1023000 | #Constraints: 61366
1754.34/1759.36 c #Conflicts: 1024000 | #Constraints: 62366
1754.34/1759.36 c #Conflicts: 1025000 | #Constraints: 63366
1754.34/1759.36 c #Conflicts: 1026000 | #Constraints: 64366
1754.34/1759.36 c INPROCESSING
1754.34/1759.36 c GARBAGE COLLECT
1754.34/1759.36 c #Conflicts: 1027000 | #Constraints: 36249
1754.34/1759.36 c #Conflicts: 1028000 | #Constraints: 37249
1754.34/1759.36 c #Conflicts: 1029000 | #Constraints: 38249
1754.34/1759.36 c #Conflicts: 1030000 | #Constraints: 39249
1754.34/1759.36 c #Conflicts: 1031000 | #Constraints: 40249
1754.34/1759.36 c #Conflicts: 1032000 | #Constraints: 41249
1754.34/1759.36 c #Conflicts: 1033000 | #Constraints: 42249
1754.34/1759.36 c #Conflicts: 1034000 | #Constraints: 43249
1754.34/1759.36 c #Conflicts: 1035000 | #Constraints: 44249
1754.34/1759.36 c #Conflicts: 1036000 | #Constraints: 45249
1754.34/1759.36 c #Conflicts: 1037000 | #Constraints: 46249
1754.34/1759.36 c #Conflicts: 1038000 | #Constraints: 47249
1754.34/1759.36 c #Conflicts: 1039000 | #Constraints: 48249
1754.34/1759.36 c #Conflicts: 1040000 | #Constraints: 49249
1754.34/1759.36 c #Conflicts: 1041000 | #Constraints: 50249
1754.34/1759.36 c #Conflicts: 1042000 | #Constraints: 51249
1754.34/1759.36 c #Conflicts: 1043000 | #Constraints: 52249
1754.34/1759.36 c #Conflicts: 1044000 | #Constraints: 53249
1754.34/1759.36 c #Conflicts: 1045000 | #Constraints: 54249
1754.34/1759.36 c #Conflicts: 1046000 | #Constraints: 55249
1754.34/1759.36 c #Conflicts: 1047000 | #Constraints: 56249
1754.34/1759.36 c #Conflicts: 1048000 | #Constraints: 57249
1754.34/1759.36 c #Conflicts: 1049000 | #Constraints: 58249
1754.34/1759.36 c INPROCESSING
1754.34/1759.36 c GARBAGE COLLECT
1754.34/1759.36 c #Conflicts: 1050000 | #Constraints: 33365
1754.34/1759.36 c #Conflicts: 1051000 | #Constraints: 34365
1754.34/1759.36 c #Conflicts: 1052000 | #Constraints: 35365
1754.34/1759.36 c #Conflicts: 1053000 | #Constraints: 36365
1754.34/1759.36 c #Conflicts: 1054000 | #Constraints: 37365
1754.34/1759.36 c #Conflicts: 1055000 | #Constraints: 38365
1754.34/1759.36 c #Conflicts: 1056000 | #Constraints: 39365
1754.34/1759.36 c #Conflicts: 1057000 | #Constraints: 40365
1754.34/1759.36 c #Conflicts: 1058000 | #Constraints: 41365
1754.34/1759.36 c #Conflicts: 1059000 | #Constraints: 42365
1754.34/1759.36 c #Conflicts: 1060000 | #Constraints: 43365
1754.34/1759.36 c #Conflicts: 1061000 | #Constraints: 44365
1754.34/1759.36 c #Conflicts: 1062000 | #Constraints: 45365
1754.34/1759.36 c #Conflicts: 1063000 | #Constraints: 46365
1754.34/1759.36 c #Conflicts: 1064000 | #Constraints: 47365
1754.34/1759.36 c #Conflicts: 1065000 | #Constraints: 48365
1754.34/1759.36 c #Conflicts: 1066000 | #Constraints: 49365
1754.34/1759.36 c #Conflicts: 1067000 | #Constraints: 50365
1754.34/1759.36 c #Conflicts: 1068000 | #Constraints: 51365
1754.34/1759.36 c #Conflicts: 1069000 | #Constraints: 52365
1754.34/1759.36 c #Conflicts: 1070000 | #Constraints: 53365
1754.34/1759.36 c #Conflicts: 1071000 | #Constraints: 54365
1754.34/1759.36 c #Conflicts: 1072000 | #Constraints: 55365
1754.34/1759.36 c INPROCESSING
1754.34/1759.36 c GARBAGE COLLECT
1754.34/1759.36 c #Conflicts: 1073000 | #Constraints: 31886
1754.34/1759.36 c #Conflicts: 1074000 | #Constraints: 32886
1754.34/1759.36 c #Conflicts: 1075000 | #Constraints: 33886
1754.34/1759.36 c #Conflicts: 1076000 | #Constraints: 34886
1754.34/1759.36 c #Conflicts: 1077000 | #Constraints: 35886
1754.34/1759.36 c #Conflicts: 1078000 | #Constraints: 36886
1754.34/1759.36 c #Conflicts: 1079000 | #Constraints: 37886
1754.34/1759.36 c #Conflicts: 1080000 | #Constraints: 38886
1754.34/1759.36 c #Conflicts: 1081000 | #Constraints: 39886
1916.69/1922.15 c #Conflicts: 1082000 | #Constraints: 40886
1916.69/1922.15 c #Conflicts: 1083000 | #Constraints: 41886
1916.69/1922.15 c #Conflicts: 1084000 | #Constraints: 42886
1916.69/1922.15 c #Conflicts: 1085000 | #Constraints: 43886
1916.69/1922.15 c #Conflicts: 1086000 | #Constraints: 44886
1916.69/1922.15 c #Conflicts: 1087000 | #Constraints: 45886
1916.69/1922.15 c #Conflicts: 1088000 | #Constraints: 46886
1916.69/1922.15 c #Conflicts: 1089000 | #Constraints: 47886
1916.69/1922.15 c #Conflicts: 1090000 | #Constraints: 48886
1916.69/1922.15 c #Conflicts: 1091000 | #Constraints: 49886
1916.69/1922.15 c #Conflicts: 1092000 | #Constraints: 50886
1916.69/1922.15 c #Conflicts: 1093000 | #Constraints: 51886
1916.69/1922.15 c #Conflicts: 1094000 | #Constraints: 52886
1916.69/1922.15 c #Conflicts: 1095000 | #Constraints: 53886
1916.69/1922.15 c INPROCESSING
1916.69/1922.15 c GARBAGE COLLECT
1916.69/1922.15 c #Conflicts: 1096000 | #Constraints: 31147
1916.69/1922.15 c #Conflicts: 1097000 | #Constraints: 32147
1916.69/1922.15 c #Conflicts: 1098000 | #Constraints: 33147
1916.69/1922.15 c #Conflicts: 1099000 | #Constraints: 34147
1916.69/1922.15 c #Conflicts: 1100000 | #Constraints: 35147
1916.69/1922.15 c #Conflicts: 1101000 | #Constraints: 36147
1916.69/1922.15 c #Conflicts: 1102000 | #Constraints: 37147
1916.69/1922.15 c #Conflicts: 1103000 | #Constraints: 38147
1916.69/1922.15 c #Conflicts: 1104000 | #Constraints: 39147
1916.69/1922.15 c #Conflicts: 1105000 | #Constraints: 40147
1916.69/1922.15 c #Conflicts: 1106000 | #Constraints: 41147
1916.69/1922.15 c #Conflicts: 1107000 | #Constraints: 42147
1916.69/1922.15 c #Conflicts: 1108000 | #Constraints: 43147
1916.69/1922.15 c #Conflicts: 1109000 | #Constraints: 44147
1916.69/1922.15 c #Conflicts: 1110000 | #Constraints: 45147
1916.69/1922.15 c #Conflicts: 1111000 | #Constraints: 46147
1916.69/1922.15 c #Conflicts: 1112000 | #Constraints: 47147
1916.69/1922.15 c #Conflicts: 1113000 | #Constraints: 48147
1916.69/1922.15 c #Conflicts: 1114000 | #Constraints: 49147
1916.69/1922.15 c #Conflicts: 1115000 | #Constraints: 50147
1916.69/1922.15 c #Conflicts: 1116000 | #Constraints: 51147
1916.69/1922.15 c #Conflicts: 1117000 | #Constraints: 52147
1916.69/1922.15 c #Conflicts: 1118000 | #Constraints: 53147
1916.69/1922.15 c #Conflicts: 1119000 | #Constraints: 54147
1916.69/1922.15 c #Conflicts: 1120000 | #Constraints: 55147
1916.69/1922.15 c #Conflicts: 1121000 | #Constraints: 56147
1916.69/1922.15 c #Conflicts: 1122000 | #Constraints: 57147
1916.69/1922.15 c #Conflicts: 1123000 | #Constraints: 58147
1916.69/1922.15 c #Conflicts: 1124000 | #Constraints: 59147
1916.69/1922.15 c #Conflicts: 1125000 | #Constraints: 60147
1916.69/1922.15 c #Conflicts: 1126000 | #Constraints: 61147
1916.69/1922.15 c #Conflicts: 1127000 | #Constraints: 62147
1916.69/1922.15 c #Conflicts: 1128000 | #Constraints: 63147
1916.69/1922.15 c #Conflicts: 1129000 | #Constraints: 64147
1916.69/1922.15 c #Conflicts: 1130000 | #Constraints: 65147
1916.69/1922.15 c #Conflicts: 1131000 | #Constraints: 66147
1916.69/1922.15 c #Conflicts: 1132000 | #Constraints: 67147
1916.69/1922.15 c #Conflicts: 1133000 | #Constraints: 68147
1916.69/1922.15 c #Conflicts: 1134000 | #Constraints: 69147
1916.69/1922.15 c #Conflicts: 1135000 | #Constraints: 70147
1916.69/1922.15 c #Conflicts: 1136000 | #Constraints: 71147
1916.69/1922.15 c #Conflicts: 1137000 | #Constraints: 72147
1916.69/1922.15 c #Conflicts: 1138000 | #Constraints: 73147
1916.69/1922.15 c #Conflicts: 1139000 | #Constraints: 74147
1916.69/1922.15 c #Conflicts: 1140000 | #Constraints: 75147
1916.69/1922.15 c #Conflicts: 1141000 | #Constraints: 76147
1916.69/1922.15 c #Conflicts: 1142000 | #Constraints: 77147
1916.69/1922.15 c #Conflicts: 1143000 | #Constraints: 78147
1916.69/1922.15 c #Conflicts: 1144000 | #Constraints: 79147
1916.69/1922.15 c #Conflicts: 1145000 | #Constraints: 80147
1916.69/1922.15 c #Conflicts: 1146000 | #Constraints: 81147
1916.69/1922.15 c #Conflicts: 1147000 | #Constraints: 82147
1916.69/1922.15 c #Conflicts: 1148000 | #Constraints: 83147
1916.69/1922.15 c #Conflicts: 1149000 | #Constraints: 84147
1916.69/1922.15 c #Conflicts: 1150000 | #Constraints: 85147
1916.69/1922.15 c #Conflicts: 1151000 | #Constraints: 86147
1916.69/1922.15 c #Conflicts: 1152000 | #Constraints: 87147
1916.69/1922.15 c #Conflicts: 1153000 | #Constraints: 88147
1916.69/1922.15 c #Conflicts: 1154000 | #Constraints: 89147
1916.69/1922.15 c #Conflicts: 1155000 | #Constraints: 90147
1916.69/1922.15 c #Conflicts: 1156000 | #Constraints: 91147
1916.69/1922.15 c #Conflicts: 1157000 | #Constraints: 92147
1916.69/1922.15 c #Conflicts: 1158000 | #Constraints: 93147
1916.69/1922.15 c #Conflicts: 1159000 | #Constraints: 94147
1980.72/1986.30 c #Conflicts: 1160000 | #Constraints: 95147
1980.72/1986.30 c #Conflicts: 1161000 | #Constraints: 96147
1980.72/1986.30 c #Conflicts: 1162000 | #Constraints: 97147
1980.72/1986.30 c #Conflicts: 1163000 | #Constraints: 98147
1980.72/1986.30 c #Conflicts: 1164000 | #Constraints: 99147
1980.72/1986.30 c #Conflicts: 1165000 | #Constraints: 100147
1980.72/1986.30 c #Conflicts: 1166000 | #Constraints: 101147
1980.72/1986.30 c #Conflicts: 1167000 | #Constraints: 102147
1980.72/1986.30 c #Conflicts: 1168000 | #Constraints: 103147
1980.72/1986.30 c #Conflicts: 1169000 | #Constraints: 104147
1980.72/1986.30 c #Conflicts: 1170000 | #Constraints: 105147
1980.72/1986.30 c #Conflicts: 1171000 | #Constraints: 106147
1980.72/1986.30 c #Conflicts: 1172000 | #Constraints: 107147
1980.72/1986.30 c #Conflicts: 1173000 | #Constraints: 108147
1980.72/1986.30 c #Conflicts: 1174000 | #Constraints: 109147
1980.72/1986.30 c #Conflicts: 1175000 | #Constraints: 110147
1980.72/1986.30 c #Conflicts: 1176000 | #Constraints: 111147
1980.72/1986.30 c #Conflicts: 1177000 | #Constraints: 112147
1980.72/1986.30 c #Conflicts: 1178000 | #Constraints: 113147
1980.72/1986.30 c #Conflicts: 1179000 | #Constraints: 114147
1980.72/1986.30 c INPROCESSING
1980.72/1986.30 c GARBAGE COLLECT
1980.72/1986.30 c rational objective 90
2040.86/2046.65 c #Conflicts: 1180000 | #Constraints: 61517
2040.86/2046.65 c #Conflicts: 1181000 | #Constraints: 62517
2040.86/2046.65 c #Conflicts: 1182000 | #Constraints: 63517
2040.86/2046.65 c #Conflicts: 1183000 | #Constraints: 64517
2040.86/2046.65 c #Conflicts: 1184000 | #Constraints: 65517
2040.86/2046.65 c #Conflicts: 1185000 | #Constraints: 66517
2040.86/2046.65 c #Conflicts: 1186000 | #Constraints: 67517
2040.86/2046.65 c #Conflicts: 1187000 | #Constraints: 68517
2040.86/2046.65 c #Conflicts: 1188000 | #Constraints: 69517
2040.86/2046.65 c #Conflicts: 1189000 | #Constraints: 70517
2040.86/2046.65 c #Conflicts: 1190000 | #Constraints: 71517
2040.86/2046.65 c #Conflicts: 1191000 | #Constraints: 72517
2040.86/2046.65 c #Conflicts: 1192000 | #Constraints: 73517
2040.86/2046.65 c #Conflicts: 1193000 | #Constraints: 74517
2040.86/2046.65 c #Conflicts: 1194000 | #Constraints: 75517
2040.86/2046.65 c #Conflicts: 1195000 | #Constraints: 76517
2040.86/2046.65 c #Conflicts: 1196000 | #Constraints: 77517
2040.86/2046.65 c #Conflicts: 1197000 | #Constraints: 78517
2040.86/2046.65 c #Conflicts: 1198000 | #Constraints: 79517
2040.86/2046.65 c #Conflicts: 1199000 | #Constraints: 80517
2040.86/2046.65 c #Conflicts: 1200000 | #Constraints: 81517
2040.86/2046.65 c #Conflicts: 1201000 | #Constraints: 82517
2040.86/2046.65 c #Conflicts: 1202000 | #Constraints: 83517
2040.86/2046.65 c #Conflicts: 1203000 | #Constraints: 84517
2040.86/2046.65 c INPROCESSING
2040.86/2046.65 c GARBAGE COLLECT
2040.86/2046.65 c rational objective 90
2093.63/2099.51 c #Conflicts: 1204000 | #Constraints: 46496
2093.63/2099.51 c #Conflicts: 1205000 | #Constraints: 47496
2093.63/2099.51 c #Conflicts: 1206000 | #Constraints: 48496
2093.63/2099.51 c #Conflicts: 1207000 | #Constraints: 49496
2093.63/2099.51 c #Conflicts: 1208000 | #Constraints: 50496
2093.63/2099.51 c #Conflicts: 1209000 | #Constraints: 51496
2093.63/2099.51 c #Conflicts: 1210000 | #Constraints: 52496
2093.63/2099.51 c #Conflicts: 1211000 | #Constraints: 53496
2093.63/2099.51 c #Conflicts: 1212000 | #Constraints: 54496
2093.63/2099.51 c #Conflicts: 1213000 | #Constraints: 55496
2093.63/2099.51 c #Conflicts: 1214000 | #Constraints: 56496
2093.63/2099.51 c #Conflicts: 1215000 | #Constraints: 57496
2093.63/2099.51 c #Conflicts: 1216000 | #Constraints: 58496
2093.63/2099.51 c #Conflicts: 1217000 | #Constraints: 59496
2093.63/2099.51 c #Conflicts: 1218000 | #Constraints: 60496
2093.63/2099.51 c #Conflicts: 1219000 | #Constraints: 61496
2093.63/2099.51 c #Conflicts: 1220000 | #Constraints: 62496
2093.63/2099.51 c #Conflicts: 1221000 | #Constraints: 63496
2093.63/2099.51 c #Conflicts: 1222000 | #Constraints: 64496
2093.63/2099.51 c #Conflicts: 1223000 | #Constraints: 65496
2093.63/2099.51 c #Conflicts: 1224000 | #Constraints: 66496
2093.63/2099.51 c #Conflicts: 1225000 | #Constraints: 67496
2093.63/2099.51 c #Conflicts: 1226000 | #Constraints: 68496
2093.63/2099.51 c #Conflicts: 1227000 | #Constraints: 69496
2093.63/2099.51 c #Conflicts: 1228000 | #Constraints: 70496
2093.63/2099.51 c INPROCESSING
2093.63/2099.51 c GARBAGE COLLECT
2093.63/2099.51 c rational objective 90
2138.60/2144.61 c #Conflicts: 1229000 | #Constraints: 39771
2138.60/2144.61 c #Conflicts: 1230000 | #Constraints: 40771
2138.60/2144.61 c #Conflicts: 1231000 | #Constraints: 41771
2138.60/2144.61 c #Conflicts: 1232000 | #Constraints: 42771
2138.60/2144.61 c #Conflicts: 1233000 | #Constraints: 43771
2138.60/2144.61 c #Conflicts: 1234000 | #Constraints: 44771
2138.60/2144.61 c #Conflicts: 1235000 | #Constraints: 45771
2138.60/2144.61 c #Conflicts: 1236000 | #Constraints: 46771
2138.60/2144.61 c #Conflicts: 1237000 | #Constraints: 47771
2138.60/2144.61 c #Conflicts: 1238000 | #Constraints: 48771
2138.60/2144.61 c #Conflicts: 1239000 | #Constraints: 49771
2138.60/2144.61 c #Conflicts: 1240000 | #Constraints: 50771
2138.60/2144.61 c #Conflicts: 1241000 | #Constraints: 51771
2138.60/2144.61 c #Conflicts: 1242000 | #Constraints: 52771
2138.60/2144.61 c #Conflicts: 1243000 | #Constraints: 53771
2138.60/2144.61 c #Conflicts: 1244000 | #Constraints: 54771
2138.60/2144.61 c #Conflicts: 1245000 | #Constraints: 55771
2138.60/2144.61 c #Conflicts: 1246000 | #Constraints: 56771
2138.60/2144.61 c #Conflicts: 1247000 | #Constraints: 57771
2138.60/2144.61 c #Conflicts: 1248000 | #Constraints: 58771
2138.60/2144.61 c #Conflicts: 1249000 | #Constraints: 59771
2138.60/2144.61 c #Conflicts: 1250000 | #Constraints: 60771
2138.60/2144.61 c #Conflicts: 1251000 | #Constraints: 61771
2138.60/2144.61 c #Conflicts: 1252000 | #Constraints: 62771
2138.60/2144.61 c #Conflicts: 1253000 | #Constraints: 63771
2138.60/2144.61 c INPROCESSING
2138.60/2144.61 c GARBAGE COLLECT
2138.60/2144.61 c rational objective 90
2214.28/2220.53 c #Conflicts: 1254000 | #Constraints: 36375
2214.28/2220.53 c #Conflicts: 1255000 | #Constraints: 37375
2214.28/2220.53 c #Conflicts: 1256000 | #Constraints: 38375
2214.28/2220.53 c #Conflicts: 1257000 | #Constraints: 39375
2214.28/2220.53 c #Conflicts: 1258000 | #Constraints: 40375
2214.28/2220.53 c #Conflicts: 1259000 | #Constraints: 41375
2214.28/2220.53 c #Conflicts: 1260000 | #Constraints: 42375
2214.28/2220.53 c #Conflicts: 1261000 | #Constraints: 43375
2214.28/2220.53 c #Conflicts: 1262000 | #Constraints: 44375
2214.28/2220.53 c #Conflicts: 1263000 | #Constraints: 45375
2214.28/2220.53 c #Conflicts: 1264000 | #Constraints: 46375
2214.28/2220.53 c #Conflicts: 1265000 | #Constraints: 47375
2214.28/2220.53 c #Conflicts: 1266000 | #Constraints: 48375
2214.28/2220.53 c #Conflicts: 1267000 | #Constraints: 49375
2214.28/2220.53 c #Conflicts: 1268000 | #Constraints: 50375
2214.28/2220.53 c #Conflicts: 1269000 | #Constraints: 51375
2214.28/2220.53 c #Conflicts: 1270000 | #Constraints: 52375
2214.28/2220.53 c #Conflicts: 1271000 | #Constraints: 53375
2214.28/2220.53 c #Conflicts: 1272000 | #Constraints: 54375
2214.28/2220.53 c #Conflicts: 1273000 | #Constraints: 55375
2214.28/2220.53 c #Conflicts: 1274000 | #Constraints: 56375
2214.28/2220.53 c #Conflicts: 1275000 | #Constraints: 57375
2214.28/2220.53 c #Conflicts: 1276000 | #Constraints: 58375
2214.28/2220.53 c #Conflicts: 1277000 | #Constraints: 59375
2214.28/2220.53 c #Conflicts: 1278000 | #Constraints: 60375
2214.28/2220.53 c INPROCESSING
2214.28/2220.53 c GARBAGE COLLECT
2214.28/2220.53 c #Conflicts: 1279000 | #Constraints: 34699
2214.28/2220.53 c #Conflicts: 1280000 | #Constraints: 35699
2214.28/2220.53 c #Conflicts: 1281000 | #Constraints: 36699
2214.28/2220.53 c #Conflicts: 1282000 | #Constraints: 37699
2214.28/2220.53 c #Conflicts: 1283000 | #Constraints: 38699
2214.28/2220.53 c #Conflicts: 1284000 | #Constraints: 39699
2214.28/2220.53 c #Conflicts: 1285000 | #Constraints: 40699
2214.28/2220.53 c #Conflicts: 1286000 | #Constraints: 41699
2214.28/2220.53 c #Conflicts: 1287000 | #Constraints: 42699
2214.28/2220.53 c #Conflicts: 1288000 | #Constraints: 43699
2214.28/2220.53 c #Conflicts: 1289000 | #Constraints: 44699
2214.28/2220.53 c #Conflicts: 1290000 | #Constraints: 45699
2214.28/2220.53 c #Conflicts: 1291000 | #Constraints: 46699
2214.28/2220.53 c #Conflicts: 1292000 | #Constraints: 47699
2214.28/2220.53 c #Conflicts: 1293000 | #Constraints: 48699
2214.28/2220.53 c #Conflicts: 1294000 | #Constraints: 49699
2214.28/2220.53 c #Conflicts: 1295000 | #Constraints: 50699
2214.28/2220.53 c #Conflicts: 1296000 | #Constraints: 51699
2214.28/2220.53 c #Conflicts: 1297000 | #Constraints: 52699
2214.28/2220.53 c #Conflicts: 1298000 | #Constraints: 53699
2214.28/2220.53 c #Conflicts: 1299000 | #Constraints: 54699
2214.28/2220.53 c #Conflicts: 1300000 | #Constraints: 55699
2214.28/2220.53 c #Conflicts: 1301000 | #Constraints: 56699
2214.28/2220.53 c #Conflicts: 1302000 | #Constraints: 57699
2214.28/2220.53 c #Conflicts: 1303000 | #Constraints: 58699
2214.28/2220.53 c INPROCESSING
2214.28/2220.53 c GARBAGE COLLECT
2214.28/2220.53 c rational objective 90
2429.73/2436.55 c #Conflicts: 1304000 | #Constraints: 33802
2429.73/2436.55 c #Conflicts: 1305000 | #Constraints: 34802
2429.73/2436.55 c #Conflicts: 1306000 | #Constraints: 35802
2429.73/2436.55 c #Conflicts: 1307000 | #Constraints: 36802
2429.73/2436.55 c #Conflicts: 1308000 | #Constraints: 37802
2429.73/2436.55 c #Conflicts: 1309000 | #Constraints: 38802
2429.73/2436.55 c #Conflicts: 1310000 | #Constraints: 39802
2429.73/2436.55 c #Conflicts: 1311000 | #Constraints: 40802
2429.73/2436.55 c #Conflicts: 1312000 | #Constraints: 41802
2429.73/2436.55 c #Conflicts: 1313000 | #Constraints: 42802
2429.73/2436.55 c #Conflicts: 1314000 | #Constraints: 43802
2429.73/2436.55 c #Conflicts: 1315000 | #Constraints: 44802
2429.73/2436.55 c #Conflicts: 1316000 | #Constraints: 45802
2429.73/2436.55 c #Conflicts: 1317000 | #Constraints: 46802
2429.73/2436.55 c #Conflicts: 1318000 | #Constraints: 47802
2429.73/2436.55 c #Conflicts: 1319000 | #Constraints: 48802
2429.73/2436.55 c #Conflicts: 1320000 | #Constraints: 49802
2429.73/2436.55 c #Conflicts: 1321000 | #Constraints: 50802
2429.73/2436.55 c #Conflicts: 1322000 | #Constraints: 51802
2429.73/2436.55 c #Conflicts: 1323000 | #Constraints: 52802
2429.73/2436.55 c #Conflicts: 1324000 | #Constraints: 53802
2429.73/2436.55 c #Conflicts: 1325000 | #Constraints: 54802
2429.73/2436.55 c #Conflicts: 1326000 | #Constraints: 55802
2429.73/2436.55 c #Conflicts: 1327000 | #Constraints: 56802
2429.73/2436.55 c #Conflicts: 1328000 | #Constraints: 57802
2429.73/2436.55 c #Conflicts: 1329000 | #Constraints: 58803
2429.73/2436.55 c #Conflicts: 1330000 | #Constraints: 59803
2429.73/2436.55 c #Conflicts: 1331000 | #Constraints: 60803
2429.73/2436.55 c #Conflicts: 1332000 | #Constraints: 61803
2429.73/2436.55 c #Conflicts: 1333000 | #Constraints: 62803
2429.73/2436.55 c #Conflicts: 1334000 | #Constraints: 63803
2429.73/2436.55 c #Conflicts: 1335000 | #Constraints: 64803
2429.73/2436.55 c #Conflicts: 1336000 | #Constraints: 65803
2429.73/2436.55 c #Conflicts: 1337000 | #Constraints: 66803
2429.73/2436.55 c #Conflicts: 1338000 | #Constraints: 67803
2429.73/2436.55 c #Conflicts: 1339000 | #Constraints: 68803
2429.73/2436.55 c #Conflicts: 1340000 | #Constraints: 69803
2429.73/2436.55 c #Conflicts: 1341000 | #Constraints: 70803
2429.73/2436.55 c #Conflicts: 1342000 | #Constraints: 71803
2429.73/2436.55 c #Conflicts: 1343000 | #Constraints: 72803
2429.73/2436.55 c #Conflicts: 1344000 | #Constraints: 73803
2429.73/2436.55 c #Conflicts: 1345000 | #Constraints: 74803
2429.73/2436.55 c #Conflicts: 1346000 | #Constraints: 75803
2429.73/2436.55 c #Conflicts: 1347000 | #Constraints: 76803
2429.73/2436.55 c #Conflicts: 1348000 | #Constraints: 77803
2429.73/2436.55 c #Conflicts: 1349000 | #Constraints: 78803
2429.73/2436.55 c #Conflicts: 1350000 | #Constraints: 79803
2429.73/2436.55 c #Conflicts: 1351000 | #Constraints: 80803
2429.73/2436.55 c #Conflicts: 1352000 | #Constraints: 81803
2429.73/2436.55 c #Conflicts: 1353000 | #Constraints: 82803
2429.73/2436.55 c #Conflicts: 1354000 | #Constraints: 83803
2429.73/2436.55 c #Conflicts: 1355000 | #Constraints: 84803
2429.73/2436.55 c #Conflicts: 1356000 | #Constraints: 85803
2429.73/2436.55 c #Conflicts: 1357000 | #Constraints: 86803
2429.73/2436.55 c #Conflicts: 1358000 | #Constraints: 87803
2429.73/2436.55 c #Conflicts: 1359000 | #Constraints: 88803
2429.73/2436.55 c #Conflicts: 1360000 | #Constraints: 89803
2429.73/2436.55 c #Conflicts: 1361000 | #Constraints: 90803
2429.73/2436.55 c #Conflicts: 1362000 | #Constraints: 91803
2429.73/2436.55 c #Conflicts: 1363000 | #Constraints: 92803
2429.73/2436.55 c #Conflicts: 1364000 | #Constraints: 93803
2429.73/2436.55 c #Conflicts: 1365000 | #Constraints: 94803
2429.73/2436.55 c #Conflicts: 1366000 | #Constraints: 95803
2429.73/2436.55 c #Conflicts: 1367000 | #Constraints: 96803
2429.73/2436.55 c #Conflicts: 1368000 | #Constraints: 97803
2429.73/2436.55 c #Conflicts: 1369000 | #Constraints: 98803
2429.73/2436.55 c #Conflicts: 1370000 | #Constraints: 99803
2429.73/2436.55 c #Conflicts: 1371000 | #Constraints: 100803
2429.73/2436.55 c #Conflicts: 1372000 | #Constraints: 101803
2429.73/2436.55 c #Conflicts: 1373000 | #Constraints: 102803
2429.73/2436.55 c #Conflicts: 1374000 | #Constraints: 103803
2429.73/2436.55 c #Conflicts: 1375000 | #Constraints: 104803
2429.73/2436.55 c #Conflicts: 1376000 | #Constraints: 105803
2429.73/2436.55 c #Conflicts: 1377000 | #Constraints: 106803
2429.73/2436.55 c #Conflicts: 1378000 | #Constraints: 107803
2429.73/2436.55 c #Conflicts: 1379000 | #Constraints: 108803
2429.73/2436.55 c #Conflicts: 1380000 | #Constraints: 109803
2429.73/2436.55 c #Conflicts: 1381000 | #Constraints: 110803
2429.73/2436.55 c #Conflicts: 1382000 | #Constraints: 111803
2488.38/2495.33 c #Conflicts: 1383000 | #Constraints: 112803
2488.38/2495.33 c #Conflicts: 1384000 | #Constraints: 113803
2488.38/2495.33 c #Conflicts: 1385000 | #Constraints: 114803
2488.38/2495.33 c #Conflicts: 1386000 | #Constraints: 115803
2488.38/2495.33 c #Conflicts: 1387000 | #Constraints: 116803
2488.38/2495.33 c #Conflicts: 1388000 | #Constraints: 117803
2488.38/2495.33 c #Conflicts: 1389000 | #Constraints: 118803
2488.38/2495.33 c #Conflicts: 1390000 | #Constraints: 119803
2488.38/2495.33 c #Conflicts: 1391000 | #Constraints: 120803
2488.38/2495.33 c #Conflicts: 1392000 | #Constraints: 121803
2488.38/2495.33 c #Conflicts: 1393000 | #Constraints: 122803
2488.38/2495.33 c #Conflicts: 1394000 | #Constraints: 123803
2488.38/2495.33 c INPROCESSING
2488.38/2495.33 c GARBAGE COLLECT
2488.38/2495.33 c rational objective 90
2563.19/2570.33 c #Conflicts: 1395000 | #Constraints: 66315
2563.19/2570.33 c #Conflicts: 1396000 | #Constraints: 67315
2563.19/2570.33 c #Conflicts: 1397000 | #Constraints: 68315
2563.19/2570.33 c #Conflicts: 1398000 | #Constraints: 69315
2563.19/2570.33 c #Conflicts: 1399000 | #Constraints: 70315
2563.19/2570.33 c #Conflicts: 1400000 | #Constraints: 71315
2563.19/2570.33 c #Conflicts: 1401000 | #Constraints: 72315
2563.19/2570.33 c #Conflicts: 1402000 | #Constraints: 73315
2563.19/2570.33 c #Conflicts: 1403000 | #Constraints: 74315
2563.19/2570.33 c #Conflicts: 1404000 | #Constraints: 75315
2563.19/2570.33 c #Conflicts: 1405000 | #Constraints: 76315
2563.19/2570.33 c #Conflicts: 1406000 | #Constraints: 77315
2563.19/2570.33 c #Conflicts: 1407000 | #Constraints: 78315
2563.19/2570.33 c #Conflicts: 1408000 | #Constraints: 79315
2563.19/2570.33 c #Conflicts: 1409000 | #Constraints: 80315
2563.19/2570.33 c #Conflicts: 1410000 | #Constraints: 81315
2563.19/2570.33 c #Conflicts: 1411000 | #Constraints: 82315
2563.19/2570.33 c #Conflicts: 1412000 | #Constraints: 83315
2563.19/2570.33 c #Conflicts: 1413000 | #Constraints: 84315
2563.19/2570.33 c #Conflicts: 1414000 | #Constraints: 85315
2563.19/2570.33 c #Conflicts: 1415000 | #Constraints: 86315
2563.19/2570.33 c #Conflicts: 1416000 | #Constraints: 87315
2563.19/2570.33 c #Conflicts: 1417000 | #Constraints: 88315
2563.19/2570.33 c #Conflicts: 1418000 | #Constraints: 89315
2563.19/2570.33 c #Conflicts: 1419000 | #Constraints: 90315
2563.19/2570.33 c #Conflicts: 1420000 | #Constraints: 91315
2563.19/2570.33 c INPROCESSING
2563.19/2570.33 c GARBAGE COLLECT
2563.19/2570.33 c rational objective 90
2701.82/2709.32 c #Conflicts: 1421000 | #Constraints: 49882
2701.82/2709.32 c #Conflicts: 1422000 | #Constraints: 50882
2701.82/2709.32 c #Conflicts: 1423000 | #Constraints: 51882
2701.82/2709.32 c #Conflicts: 1424000 | #Constraints: 52882
2701.82/2709.32 c #Conflicts: 1425000 | #Constraints: 53882
2701.82/2709.32 c #Conflicts: 1426000 | #Constraints: 54882
2701.82/2709.32 c #Conflicts: 1427000 | #Constraints: 55882
2701.82/2709.32 c #Conflicts: 1428000 | #Constraints: 56882
2701.82/2709.32 c #Conflicts: 1429000 | #Constraints: 57882
2701.82/2709.32 c #Conflicts: 1430000 | #Constraints: 58882
2701.82/2709.32 c #Conflicts: 1431000 | #Constraints: 59882
2701.82/2709.32 c #Conflicts: 1432000 | #Constraints: 60882
2701.82/2709.32 c #Conflicts: 1433000 | #Constraints: 61882
2701.82/2709.32 c #Conflicts: 1434000 | #Constraints: 62882
2701.82/2709.32 c #Conflicts: 1435000 | #Constraints: 63882
2701.82/2709.32 c #Conflicts: 1436000 | #Constraints: 64882
2701.82/2709.32 c #Conflicts: 1437000 | #Constraints: 65882
2701.82/2709.32 c #Conflicts: 1438000 | #Constraints: 66882
2701.82/2709.32 c #Conflicts: 1439000 | #Constraints: 67882
2701.82/2709.32 c #Conflicts: 1440000 | #Constraints: 68882
2701.82/2709.32 c #Conflicts: 1441000 | #Constraints: 69882
2701.82/2709.32 c #Conflicts: 1442000 | #Constraints: 70882
2701.82/2709.32 c #Conflicts: 1443000 | #Constraints: 71882
2701.82/2709.32 c #Conflicts: 1444000 | #Constraints: 72882
2701.82/2709.32 c #Conflicts: 1445000 | #Constraints: 73882
2701.82/2709.32 c #Conflicts: 1446000 | #Constraints: 74882
2701.82/2709.32 c #Conflicts: 1447000 | #Constraints: 75882
2701.82/2709.32 c INPROCESSING
2701.82/2709.32 c GARBAGE COLLECT
2701.82/2709.32 c #Conflicts: 1448000 | #Constraints: 42240
2701.82/2709.32 c #Conflicts: 1449000 | #Constraints: 43240
2701.82/2709.32 c #Conflicts: 1450000 | #Constraints: 44240
2701.82/2709.32 c #Conflicts: 1451000 | #Constraints: 45240
2701.82/2709.32 c #Conflicts: 1452000 | #Constraints: 46240
2701.82/2709.32 c #Conflicts: 1453000 | #Constraints: 47240
2701.82/2709.32 c #Conflicts: 1454000 | #Constraints: 48240
2701.82/2709.32 c #Conflicts: 1455000 | #Constraints: 49240
2701.82/2709.32 c #Conflicts: 1456000 | #Constraints: 50240
2701.82/2709.32 c #Conflicts: 1457000 | #Constraints: 51240
2701.82/2709.32 c #Conflicts: 1458000 | #Constraints: 52240
2701.82/2709.32 c #Conflicts: 1459000 | #Constraints: 53240
2701.82/2709.32 c #Conflicts: 1460000 | #Constraints: 54240
2701.82/2709.32 c #Conflicts: 1461000 | #Constraints: 55240
2701.82/2709.32 c #Conflicts: 1462000 | #Constraints: 56240
2701.82/2709.32 c #Conflicts: 1463000 | #Constraints: 57240
2701.82/2709.32 c #Conflicts: 1464000 | #Constraints: 58240
2701.82/2709.32 c #Conflicts: 1465000 | #Constraints: 59240
2701.82/2709.32 c #Conflicts: 1466000 | #Constraints: 60240
2701.82/2709.32 c #Conflicts: 1467000 | #Constraints: 61240
2701.82/2709.32 c #Conflicts: 1468000 | #Constraints: 62240
2701.82/2709.32 c #Conflicts: 1469000 | #Constraints: 63240
2701.82/2709.32 c #Conflicts: 1470000 | #Constraints: 64240
2701.82/2709.32 c #Conflicts: 1471000 | #Constraints: 65240
2701.82/2709.32 c #Conflicts: 1472000 | #Constraints: 66240
2701.82/2709.32 c #Conflicts: 1473000 | #Constraints: 67240
2701.82/2709.32 c #Conflicts: 1474000 | #Constraints: 68240
2701.82/2709.32 c INPROCESSING
2701.82/2709.32 c GARBAGE COLLECT
2701.82/2709.32 c #Conflicts: 1475000 | #Constraints: 38490
2701.82/2709.32 c #Conflicts: 1476000 | #Constraints: 39490
2701.82/2709.32 c #Conflicts: 1477000 | #Constraints: 40490
2701.82/2709.32 c #Conflicts: 1478000 | #Constraints: 41490
2701.82/2709.32 c #Conflicts: 1479000 | #Constraints: 42490
2701.82/2709.32 c #Conflicts: 1480000 | #Constraints: 43490
2701.82/2709.32 c #Conflicts: 1481000 | #Constraints: 44490
2701.82/2709.32 c #Conflicts: 1482000 | #Constraints: 45490
2701.82/2709.32 c #Conflicts: 1483000 | #Constraints: 46490
2701.82/2709.32 c #Conflicts: 1484000 | #Constraints: 47490
2701.82/2709.32 c #Conflicts: 1485000 | #Constraints: 48490
2701.82/2709.32 c #Conflicts: 1486000 | #Constraints: 49490
2701.82/2709.32 c #Conflicts: 1487000 | #Constraints: 50490
2701.82/2709.32 c #Conflicts: 1488000 | #Constraints: 51490
2701.82/2709.32 c #Conflicts: 1489000 | #Constraints: 52490
2701.82/2709.32 c #Conflicts: 1490000 | #Constraints: 53490
2701.82/2709.32 c #Conflicts: 1491000 | #Constraints: 54490
2701.82/2709.32 c #Conflicts: 1492000 | #Constraints: 55490
2701.82/2709.32 c #Conflicts: 1493000 | #Constraints: 56490
2701.82/2709.32 c #Conflicts: 1494000 | #Constraints: 57490
2701.82/2709.32 c #Conflicts: 1495000 | #Constraints: 58490
2701.82/2709.32 c #Conflicts: 1496000 | #Constraints: 59490
2701.82/2709.32 c #Conflicts: 1497000 | #Constraints: 60490
2701.82/2709.32 c #Conflicts: 1498000 | #Constraints: 61490
2709.10/2716.69 c #Conflicts: 1499000 | #Constraints: 62490
2709.10/2716.69 c #Conflicts: 1500000 | #Constraints: 63490
2709.10/2716.69 c #Conflicts: 1501000 | #Constraints: 64490
2709.10/2716.69 c INPROCESSING
2709.10/2716.69 c GARBAGE COLLECT
2709.10/2716.69 c rational objective 90
2753.60/2761.26 c #Conflicts: 1502000 | #Constraints: 36543
2753.60/2761.26 c #Conflicts: 1503000 | #Constraints: 37543
2753.60/2761.26 c #Conflicts: 1504000 | #Constraints: 38543
2753.60/2761.26 c #Conflicts: 1505000 | #Constraints: 39543
2753.60/2761.26 c #Conflicts: 1506000 | #Constraints: 40543
2753.60/2761.26 c #Conflicts: 1507000 | #Constraints: 41543
2753.60/2761.26 c #Conflicts: 1508000 | #Constraints: 42543
2753.60/2761.26 c #Conflicts: 1509000 | #Constraints: 43543
2753.60/2761.26 c #Conflicts: 1510000 | #Constraints: 44543
2753.60/2761.26 c #Conflicts: 1511000 | #Constraints: 45543
2753.60/2761.26 c #Conflicts: 1512000 | #Constraints: 46543
2753.60/2761.26 c #Conflicts: 1513000 | #Constraints: 47543
2753.60/2761.26 c #Conflicts: 1514000 | #Constraints: 48543
2753.60/2761.26 c #Conflicts: 1515000 | #Constraints: 49543
2753.60/2761.26 c #Conflicts: 1516000 | #Constraints: 50543
2753.60/2761.26 c #Conflicts: 1517000 | #Constraints: 51543
2753.60/2761.26 c #Conflicts: 1518000 | #Constraints: 52543
2753.60/2761.26 c #Conflicts: 1519000 | #Constraints: 53543
2753.60/2761.26 c #Conflicts: 1520000 | #Constraints: 54543
2753.60/2761.26 c #Conflicts: 1521000 | #Constraints: 55543
2753.60/2761.26 c #Conflicts: 1522000 | #Constraints: 56543
2753.60/2761.26 c #Conflicts: 1523000 | #Constraints: 57543
2753.60/2761.26 c #Conflicts: 1524000 | #Constraints: 58543
2753.60/2761.26 c #Conflicts: 1525000 | #Constraints: 59543
2753.60/2761.26 c #Conflicts: 1526000 | #Constraints: 60543
2753.60/2761.26 c #Conflicts: 1527000 | #Constraints: 61543
2753.60/2761.26 c #Conflicts: 1528000 | #Constraints: 62543
2753.60/2761.26 c INPROCESSING
2753.60/2761.26 c GARBAGE COLLECT
2753.60/2761.26 c rational objective 90
2931.76/2939.88 c #Conflicts: 1529000 | #Constraints: 35327
2931.76/2939.88 c #Conflicts: 1530000 | #Constraints: 36327
2931.76/2939.88 c #Conflicts: 1531000 | #Constraints: 37327
2931.76/2939.88 c #Conflicts: 1532000 | #Constraints: 38327
2931.76/2939.88 c #Conflicts: 1533000 | #Constraints: 39327
2931.76/2939.88 c #Conflicts: 1534000 | #Constraints: 40327
2931.76/2939.88 c #Conflicts: 1535000 | #Constraints: 41327
2931.76/2939.88 c #Conflicts: 1536000 | #Constraints: 42327
2931.76/2939.88 c #Conflicts: 1537000 | #Constraints: 43327
2931.76/2939.88 c #Conflicts: 1538000 | #Constraints: 44327
2931.76/2939.88 c #Conflicts: 1539000 | #Constraints: 45327
2931.76/2939.88 c #Conflicts: 1540000 | #Constraints: 46327
2931.76/2939.88 c #Conflicts: 1541000 | #Constraints: 47327
2931.76/2939.88 c #Conflicts: 1542000 | #Constraints: 48327
2931.76/2939.88 c #Conflicts: 1543000 | #Constraints: 49327
2931.76/2939.88 c #Conflicts: 1544000 | #Constraints: 50327
2931.76/2939.88 c #Conflicts: 1545000 | #Constraints: 51327
2931.76/2939.88 c #Conflicts: 1546000 | #Constraints: 52327
2931.76/2939.88 c #Conflicts: 1547000 | #Constraints: 53327
2931.76/2939.88 c #Conflicts: 1548000 | #Constraints: 54327
2931.76/2939.88 c #Conflicts: 1549000 | #Constraints: 55327
2931.76/2939.88 c #Conflicts: 1550000 | #Constraints: 56327
2931.76/2939.88 c #Conflicts: 1551000 | #Constraints: 57327
2931.76/2939.88 c #Conflicts: 1552000 | #Constraints: 58327
2931.76/2939.88 c #Conflicts: 1553000 | #Constraints: 59327
2931.76/2939.88 c #Conflicts: 1554000 | #Constraints: 60327
2931.76/2939.88 c #Conflicts: 1555000 | #Constraints: 61327
2931.76/2939.88 c #Conflicts: 1556000 | #Constraints: 62327
2931.76/2939.88 c #Conflicts: 1557000 | #Constraints: 63327
2931.76/2939.88 c #Conflicts: 1558000 | #Constraints: 64327
2931.76/2939.88 c #Conflicts: 1559000 | #Constraints: 65327
2931.76/2939.88 c #Conflicts: 1560000 | #Constraints: 66327
2931.76/2939.88 c #Conflicts: 1561000 | #Constraints: 67327
2931.76/2939.88 c #Conflicts: 1562000 | #Constraints: 68327
2931.76/2939.88 c #Conflicts: 1563000 | #Constraints: 69327
2931.76/2939.88 c #Conflicts: 1564000 | #Constraints: 70327
2931.76/2939.88 c #Conflicts: 1565000 | #Constraints: 71327
2931.76/2939.88 c #Conflicts: 1566000 | #Constraints: 72327
2931.76/2939.88 c #Conflicts: 1567000 | #Constraints: 73328
2931.76/2939.88 c #Conflicts: 1568000 | #Constraints: 74328
2931.76/2939.88 c #Conflicts: 1569000 | #Constraints: 75328
2931.76/2939.88 c #Conflicts: 1570000 | #Constraints: 76328
2931.76/2939.88 c #Conflicts: 1571000 | #Constraints: 77328
2931.76/2939.88 c #Conflicts: 1572000 | #Constraints: 78328
2931.76/2939.88 c #Conflicts: 1573000 | #Constraints: 79328
2931.76/2939.88 c #Conflicts: 1574000 | #Constraints: 80328
2931.76/2939.88 c #Conflicts: 1575000 | #Constraints: 81328
2931.76/2939.88 c #Conflicts: 1576000 | #Constraints: 82328
2931.76/2939.88 c #Conflicts: 1577000 | #Constraints: 83328
2931.76/2939.88 c #Conflicts: 1578000 | #Constraints: 84328
2931.76/2939.88 c #Conflicts: 1579000 | #Constraints: 85328
2931.76/2939.88 c #Conflicts: 1580000 | #Constraints: 86328
2931.76/2939.88 c #Conflicts: 1581000 | #Constraints: 87328
2931.76/2939.88 c #Conflicts: 1582000 | #Constraints: 88328
2931.76/2939.88 c #Conflicts: 1583000 | #Constraints: 89328
2931.76/2939.88 c #Conflicts: 1584000 | #Constraints: 90328
2931.76/2939.88 c #Conflicts: 1585000 | #Constraints: 91328
2931.76/2939.88 c #Conflicts: 1586000 | #Constraints: 92328
2931.76/2939.88 c #Conflicts: 1587000 | #Constraints: 93328
2931.76/2939.88 c #Conflicts: 1588000 | #Constraints: 94328
2931.76/2939.88 c #Conflicts: 1589000 | #Constraints: 95328
2931.76/2939.88 c #Conflicts: 1590000 | #Constraints: 96328
2931.76/2939.88 c #Conflicts: 1591000 | #Constraints: 97328
2931.76/2939.88 c #Conflicts: 1592000 | #Constraints: 98328
2931.76/2939.88 c #Conflicts: 1593000 | #Constraints: 99328
2931.76/2939.88 c #Conflicts: 1594000 | #Constraints: 100328
2931.76/2939.88 c #Conflicts: 1595000 | #Constraints: 101328
2931.76/2939.88 c #Conflicts: 1596000 | #Constraints: 102328
2931.76/2939.88 c #Conflicts: 1597000 | #Constraints: 103329
2931.76/2939.88 c #Conflicts: 1598000 | #Constraints: 104329
2931.76/2939.88 c #Conflicts: 1599000 | #Constraints: 105329
2931.76/2939.88 c #Conflicts: 1600000 | #Constraints: 106329
2931.76/2939.88 c #Conflicts: 1601000 | #Constraints: 107329
2931.76/2939.88 c #Conflicts: 1602000 | #Constraints: 108329
2931.76/2939.88 c #Conflicts: 1603000 | #Constraints: 109329
2931.76/2939.88 c #Conflicts: 1604000 | #Constraints: 110329
2931.76/2939.88 c #Conflicts: 1605000 | #Constraints: 111329
2931.76/2939.88 c #Conflicts: 1606000 | #Constraints: 112329
2931.76/2939.88 c #Conflicts: 1607000 | #Constraints: 113329
3006.47/3014.76 c #Conflicts: 1608000 | #Constraints: 114329
3006.47/3014.76 c #Conflicts: 1609000 | #Constraints: 115329
3006.47/3014.76 c #Conflicts: 1610000 | #Constraints: 116329
3006.47/3014.76 c #Conflicts: 1611000 | #Constraints: 117329
3006.47/3014.76 c #Conflicts: 1612000 | #Constraints: 118329
3006.47/3014.76 c #Conflicts: 1613000 | #Constraints: 119329
3006.47/3014.76 c #Conflicts: 1614000 | #Constraints: 120329
3006.47/3014.76 c #Conflicts: 1615000 | #Constraints: 121329
3006.47/3014.76 c #Conflicts: 1616000 | #Constraints: 122329
3006.47/3014.76 c #Conflicts: 1617000 | #Constraints: 123329
3006.47/3014.76 c #Conflicts: 1618000 | #Constraints: 124329
3006.47/3014.76 c #Conflicts: 1619000 | #Constraints: 125329
3006.47/3014.76 c #Conflicts: 1620000 | #Constraints: 126329
3006.47/3014.76 c #Conflicts: 1621000 | #Constraints: 127329
3006.47/3014.76 c #Conflicts: 1622000 | #Constraints: 128329
3006.47/3014.76 c #Conflicts: 1623000 | #Constraints: 129329
3006.47/3014.76 c #Conflicts: 1624000 | #Constraints: 130329
3006.47/3014.76 c #Conflicts: 1625000 | #Constraints: 131329
3006.47/3014.76 c #Conflicts: 1626000 | #Constraints: 132329
3006.47/3014.76 c #Conflicts: 1627000 | #Constraints: 133329
3006.47/3014.76 c INPROCESSING
3006.47/3014.76 c GARBAGE COLLECT
3006.47/3014.76 c rational objective 90
3083.60/3092.06 c #Conflicts: 1628000 | #Constraints: 71081
3083.60/3092.06 c #Conflicts: 1629000 | #Constraints: 72081
3083.60/3092.06 c #Conflicts: 1630000 | #Constraints: 73081
3083.60/3092.06 c #Conflicts: 1631000 | #Constraints: 74081
3083.60/3092.06 c #Conflicts: 1632000 | #Constraints: 75081
3083.60/3092.06 c #Conflicts: 1633000 | #Constraints: 76081
3083.60/3092.06 c #Conflicts: 1634000 | #Constraints: 77081
3083.60/3092.06 c #Conflicts: 1635000 | #Constraints: 78081
3083.60/3092.06 c #Conflicts: 1636000 | #Constraints: 79081
3083.60/3092.06 c #Conflicts: 1637000 | #Constraints: 80081
3083.60/3092.06 c #Conflicts: 1638000 | #Constraints: 81081
3083.60/3092.06 c #Conflicts: 1639000 | #Constraints: 82081
3083.60/3092.06 c #Conflicts: 1640000 | #Constraints: 83081
3083.60/3092.06 c #Conflicts: 1641000 | #Constraints: 84081
3083.60/3092.06 c #Conflicts: 1642000 | #Constraints: 85081
3083.60/3092.06 c #Conflicts: 1643000 | #Constraints: 86081
3083.60/3092.06 c #Conflicts: 1644000 | #Constraints: 87081
3083.60/3092.06 c #Conflicts: 1645000 | #Constraints: 88081
3083.60/3092.06 c #Conflicts: 1646000 | #Constraints: 89081
3083.60/3092.06 c #Conflicts: 1647000 | #Constraints: 90081
3083.60/3092.06 c #Conflicts: 1648000 | #Constraints: 91081
3083.60/3092.06 c #Conflicts: 1649000 | #Constraints: 92081
3083.60/3092.06 c #Conflicts: 1650000 | #Constraints: 93081
3083.60/3092.06 c #Conflicts: 1651000 | #Constraints: 94081
3083.60/3092.06 c #Conflicts: 1652000 | #Constraints: 95081
3083.60/3092.06 c #Conflicts: 1653000 | #Constraints: 96081
3083.60/3092.06 c #Conflicts: 1654000 | #Constraints: 97081
3083.60/3092.06 c #Conflicts: 1655000 | #Constraints: 98081
3083.60/3092.06 c #Conflicts: 1656000 | #Constraints: 99081
3083.60/3092.06 c INPROCESSING
3083.60/3092.06 c GARBAGE COLLECT
3083.60/3092.06 c rational objective 90
3146.93/3155.52 c #Conflicts: 1657000 | #Constraints: 54134
3146.93/3155.52 c #Conflicts: 1658000 | #Constraints: 55134
3146.93/3155.52 c #Conflicts: 1659000 | #Constraints: 56134
3146.93/3155.52 c #Conflicts: 1660000 | #Constraints: 57134
3146.93/3155.52 c #Conflicts: 1661000 | #Constraints: 58134
3146.93/3155.52 c #Conflicts: 1662000 | #Constraints: 59134
3146.93/3155.52 c #Conflicts: 1663000 | #Constraints: 60134
3146.93/3155.52 c #Conflicts: 1664000 | #Constraints: 61134
3146.93/3155.52 c #Conflicts: 1665000 | #Constraints: 62134
3146.93/3155.52 c #Conflicts: 1666000 | #Constraints: 63134
3146.93/3155.52 c #Conflicts: 1667000 | #Constraints: 64134
3146.93/3155.52 c #Conflicts: 1668000 | #Constraints: 65134
3146.93/3155.52 c #Conflicts: 1669000 | #Constraints: 66134
3146.93/3155.52 c #Conflicts: 1670000 | #Constraints: 67134
3146.93/3155.52 c #Conflicts: 1671000 | #Constraints: 68134
3146.93/3155.52 c #Conflicts: 1672000 | #Constraints: 69134
3146.93/3155.52 c #Conflicts: 1673000 | #Constraints: 70134
3146.93/3155.52 c #Conflicts: 1674000 | #Constraints: 71134
3146.93/3155.52 c #Conflicts: 1675000 | #Constraints: 72134
3146.93/3155.52 c #Conflicts: 1676000 | #Constraints: 73134
3146.93/3155.52 c #Conflicts: 1677000 | #Constraints: 74134
3146.93/3155.52 c #Conflicts: 1678000 | #Constraints: 75134
3146.93/3155.52 c #Conflicts: 1679000 | #Constraints: 76134
3146.93/3155.52 c #Conflicts: 1680000 | #Constraints: 77134
3146.93/3155.52 c #Conflicts: 1681000 | #Constraints: 78134
3146.93/3155.52 c #Conflicts: 1682000 | #Constraints: 79134
3146.93/3155.52 c #Conflicts: 1683000 | #Constraints: 80134
3146.93/3155.52 c #Conflicts: 1684000 | #Constraints: 81134
3146.93/3155.52 c INPROCESSING
3146.93/3155.52 c GARBAGE COLLECT
3146.93/3155.52 c rational objective 90
3290.00/3298.96 c #Conflicts: 1685000 | #Constraints: 44705
3290.00/3298.96 c #Conflicts: 1686000 | #Constraints: 45705
3290.00/3298.96 c #Conflicts: 1687000 | #Constraints: 46705
3290.00/3298.96 c #Conflicts: 1688000 | #Constraints: 47705
3290.00/3298.96 c #Conflicts: 1689000 | #Constraints: 48705
3290.00/3298.96 c #Conflicts: 1690000 | #Constraints: 49705
3290.00/3298.96 c #Conflicts: 1691000 | #Constraints: 50705
3290.00/3298.96 c #Conflicts: 1692000 | #Constraints: 51705
3290.00/3298.96 c #Conflicts: 1693000 | #Constraints: 52705
3290.00/3298.96 c #Conflicts: 1694000 | #Constraints: 53705
3290.00/3298.96 c #Conflicts: 1695000 | #Constraints: 54705
3290.00/3298.96 c #Conflicts: 1696000 | #Constraints: 55705
3290.00/3298.96 c #Conflicts: 1697000 | #Constraints: 56705
3290.00/3298.96 c #Conflicts: 1698000 | #Constraints: 57705
3290.00/3298.96 c #Conflicts: 1699000 | #Constraints: 58705
3290.00/3298.96 c #Conflicts: 1700000 | #Constraints: 59705
3290.00/3298.96 c #Conflicts: 1701000 | #Constraints: 60705
3290.00/3298.96 c #Conflicts: 1702000 | #Constraints: 61705
3290.00/3298.96 c #Conflicts: 1703000 | #Constraints: 62705
3290.00/3298.96 c #Conflicts: 1704000 | #Constraints: 63705
3290.00/3298.96 c #Conflicts: 1705000 | #Constraints: 64705
3290.00/3298.96 c #Conflicts: 1706000 | #Constraints: 65705
3290.00/3298.96 c #Conflicts: 1707000 | #Constraints: 66705
3290.00/3298.96 c #Conflicts: 1708000 | #Constraints: 67705
3290.00/3298.96 c #Conflicts: 1709000 | #Constraints: 68705
3290.00/3298.96 c #Conflicts: 1710000 | #Constraints: 69705
3290.00/3298.96 c #Conflicts: 1711000 | #Constraints: 70705
3290.00/3298.96 c #Conflicts: 1712000 | #Constraints: 71705
3290.00/3298.96 c #Conflicts: 1713000 | #Constraints: 72705
3290.00/3298.96 c INPROCESSING
3290.00/3298.96 c GARBAGE COLLECT
3290.00/3298.96 c #Conflicts: 1714000 | #Constraints: 40582
3290.00/3298.96 c #Conflicts: 1715000 | #Constraints: 41582
3290.00/3298.96 c #Conflicts: 1716000 | #Constraints: 42582
3290.00/3298.96 c #Conflicts: 1717000 | #Constraints: 43582
3290.00/3298.96 c #Conflicts: 1718000 | #Constraints: 44582
3290.00/3298.96 c #Conflicts: 1719000 | #Constraints: 45582
3290.00/3298.96 c #Conflicts: 1720000 | #Constraints: 46582
3290.00/3298.96 c #Conflicts: 1721000 | #Constraints: 47582
3290.00/3298.96 c #Conflicts: 1722000 | #Constraints: 48582
3290.00/3298.96 c #Conflicts: 1723000 | #Constraints: 49582
3290.00/3298.96 c #Conflicts: 1724000 | #Constraints: 50582
3290.00/3298.96 c #Conflicts: 1725000 | #Constraints: 51582
3290.00/3298.96 c #Conflicts: 1726000 | #Constraints: 52582
3290.00/3298.96 c #Conflicts: 1727000 | #Constraints: 53582
3290.00/3298.96 c #Conflicts: 1728000 | #Constraints: 54582
3290.00/3298.96 c #Conflicts: 1729000 | #Constraints: 55582
3290.00/3298.96 c #Conflicts: 1730000 | #Constraints: 56582
3290.00/3298.96 c #Conflicts: 1731000 | #Constraints: 57582
3290.00/3298.96 c #Conflicts: 1732000 | #Constraints: 58582
3290.00/3298.96 c #Conflicts: 1733000 | #Constraints: 59582
3290.00/3298.96 c #Conflicts: 1734000 | #Constraints: 60582
3290.00/3298.96 c #Conflicts: 1735000 | #Constraints: 61582
3290.00/3298.96 c #Conflicts: 1736000 | #Constraints: 62582
3290.00/3298.96 c #Conflicts: 1737000 | #Constraints: 63582
3290.00/3298.96 c #Conflicts: 1738000 | #Constraints: 64582
3290.00/3298.96 c #Conflicts: 1739000 | #Constraints: 65582
3290.00/3298.96 c #Conflicts: 1740000 | #Constraints: 66582
3290.00/3298.96 c #Conflicts: 1741000 | #Constraints: 67582
3290.00/3298.96 c #Conflicts: 1742000 | #Constraints: 68582
3290.00/3298.96 c #Conflicts: 1743000 | #Constraints: 69582
3290.00/3298.96 c INPROCESSING
3290.00/3298.96 c GARBAGE COLLECT
3290.00/3298.96 c #Conflicts: 1744000 | #Constraints: 39350
3290.00/3298.96 c #Conflicts: 1745000 | #Constraints: 40350
3290.00/3298.96 c #Conflicts: 1746000 | #Constraints: 41350
3290.00/3298.96 c #Conflicts: 1747000 | #Constraints: 42350
3290.00/3298.96 c #Conflicts: 1748000 | #Constraints: 43350
3290.00/3298.96 c #Conflicts: 1749000 | #Constraints: 44350
3290.00/3298.96 c #Conflicts: 1750000 | #Constraints: 45350
3290.00/3298.96 c #Conflicts: 1751000 | #Constraints: 46350
3290.00/3298.96 c #Conflicts: 1752000 | #Constraints: 47350
3290.00/3298.96 c #Conflicts: 1753000 | #Constraints: 48350
3290.00/3298.96 c #Conflicts: 1754000 | #Constraints: 49350
3290.00/3298.96 c #Conflicts: 1755000 | #Constraints: 50350
3290.00/3298.96 c #Conflicts: 1756000 | #Constraints: 51350
3290.00/3298.96 c #Conflicts: 1757000 | #Constraints: 52350
3290.00/3298.96 c #Conflicts: 1758000 | #Constraints: 53350
3290.00/3298.96 c #Conflicts: 1759000 | #Constraints: 54350
3290.00/3298.96 c #Conflicts: 1760000 | #Constraints: 55350
3290.00/3298.96 c #Conflicts: 1761000 | #Constraints: 56350
3290.00/3298.96 c #Conflicts: 1762000 | #Constraints: 57350
3313.54/3322.57 c #Conflicts: 1763000 | #Constraints: 58350
3313.54/3322.57 c #Conflicts: 1764000 | #Constraints: 59350
3313.54/3322.57 c #Conflicts: 1765000 | #Constraints: 60350
3313.54/3322.57 c #Conflicts: 1766000 | #Constraints: 61350
3313.54/3322.57 c #Conflicts: 1767000 | #Constraints: 62350
3313.54/3322.57 c #Conflicts: 1768000 | #Constraints: 63350
3313.54/3322.57 c #Conflicts: 1769000 | #Constraints: 64350
3313.54/3322.57 c #Conflicts: 1770000 | #Constraints: 65350
3313.54/3322.57 c #Conflicts: 1771000 | #Constraints: 66350
3313.54/3322.57 c #Conflicts: 1772000 | #Constraints: 67350
3313.54/3322.57 c INPROCESSING
3313.54/3322.57 c GARBAGE COLLECT
3313.54/3322.57 c rational objective 90
3525.63/3535.13 c #Conflicts: 1773000 | #Constraints: 38022
3525.63/3535.13 c #Conflicts: 1774000 | #Constraints: 39022
3525.63/3535.13 c #Conflicts: 1775000 | #Constraints: 40022
3525.63/3535.13 c #Conflicts: 1776000 | #Constraints: 41022
3525.63/3535.13 c #Conflicts: 1777000 | #Constraints: 42022
3525.63/3535.13 c #Conflicts: 1778000 | #Constraints: 43022
3525.63/3535.13 c #Conflicts: 1779000 | #Constraints: 44022
3525.63/3535.13 c #Conflicts: 1780000 | #Constraints: 45022
3525.63/3535.13 c #Conflicts: 1781000 | #Constraints: 46022
3525.63/3535.13 c #Conflicts: 1782000 | #Constraints: 47022
3525.63/3535.13 c #Conflicts: 1783000 | #Constraints: 48022
3525.63/3535.13 c #Conflicts: 1784000 | #Constraints: 49022
3525.63/3535.13 c #Conflicts: 1785000 | #Constraints: 50022
3525.63/3535.13 c #Conflicts: 1786000 | #Constraints: 51022
3525.63/3535.13 c #Conflicts: 1787000 | #Constraints: 52022
3525.63/3535.13 c #Conflicts: 1788000 | #Constraints: 53022
3525.63/3535.13 c #Conflicts: 1789000 | #Constraints: 54022
3525.63/3535.13 c #Conflicts: 1790000 | #Constraints: 55022
3525.63/3535.13 c #Conflicts: 1791000 | #Constraints: 56022
3525.63/3535.13 c #Conflicts: 1792000 | #Constraints: 57022
3525.63/3535.13 c #Conflicts: 1793000 | #Constraints: 58022
3525.63/3535.13 c #Conflicts: 1794000 | #Constraints: 59022
3525.63/3535.13 c #Conflicts: 1795000 | #Constraints: 60022
3525.63/3535.13 c #Conflicts: 1796000 | #Constraints: 61022
3525.63/3535.13 c #Conflicts: 1797000 | #Constraints: 62022
3525.63/3535.13 c #Conflicts: 1798000 | #Constraints: 63022
3525.63/3535.13 c #Conflicts: 1799000 | #Constraints: 64022
3525.63/3535.13 c #Conflicts: 1800000 | #Constraints: 65022
3525.63/3535.13 c #Conflicts: 1801000 | #Constraints: 66022
3525.63/3535.13 c #Conflicts: 1802000 | #Constraints: 67022
3525.63/3535.13 c #Conflicts: 1803000 | #Constraints: 68022
3525.63/3535.13 c #Conflicts: 1804000 | #Constraints: 69022
3525.63/3535.13 c #Conflicts: 1805000 | #Constraints: 70022
3525.63/3535.13 c #Conflicts: 1806000 | #Constraints: 71022
3525.63/3535.13 c #Conflicts: 1807000 | #Constraints: 72022
3525.63/3535.13 c #Conflicts: 1808000 | #Constraints: 73022
3525.63/3535.13 c #Conflicts: 1809000 | #Constraints: 74022
3525.63/3535.13 c #Conflicts: 1810000 | #Constraints: 75022
3525.63/3535.13 c #Conflicts: 1811000 | #Constraints: 76022
3525.63/3535.13 c #Conflicts: 1812000 | #Constraints: 77022
3525.63/3535.13 c #Conflicts: 1813000 | #Constraints: 78022
3525.63/3535.13 c #Conflicts: 1814000 | #Constraints: 79022
3525.63/3535.13 c #Conflicts: 1815000 | #Constraints: 80022
3525.63/3535.13 c #Conflicts: 1816000 | #Constraints: 81022
3525.63/3535.13 c #Conflicts: 1817000 | #Constraints: 82022
3525.63/3535.13 c #Conflicts: 1818000 | #Constraints: 83022
3525.63/3535.13 c #Conflicts: 1819000 | #Constraints: 84022
3525.63/3535.13 c #Conflicts: 1820000 | #Constraints: 85022
3525.63/3535.13 c #Conflicts: 1821000 | #Constraints: 86022
3525.63/3535.13 c #Conflicts: 1822000 | #Constraints: 87022
3525.63/3535.13 c #Conflicts: 1823000 | #Constraints: 88022
3525.63/3535.13 c #Conflicts: 1824000 | #Constraints: 89022
3525.63/3535.13 c #Conflicts: 1825000 | #Constraints: 90022
3525.63/3535.13 c #Conflicts: 1826000 | #Constraints: 91022
3525.63/3535.13 c #Conflicts: 1827000 | #Constraints: 92022
3525.63/3535.13 c #Conflicts: 1828000 | #Constraints: 93022
3525.63/3535.13 c #Conflicts: 1829000 | #Constraints: 94022
3525.63/3535.13 c #Conflicts: 1830000 | #Constraints: 95022
3525.63/3535.13 c #Conflicts: 1831000 | #Constraints: 96022
3525.63/3535.13 c #Conflicts: 1832000 | #Constraints: 97022
3525.63/3535.13 c #Conflicts: 1833000 | #Constraints: 98022
3525.63/3535.13 c #Conflicts: 1834000 | #Constraints: 99022
3525.63/3535.13 c #Conflicts: 1835000 | #Constraints: 100022
3525.63/3535.13 c #Conflicts: 1836000 | #Constraints: 101022
3525.63/3535.13 c #Conflicts: 1837000 | #Constraints: 102022
3525.63/3535.13 c #Conflicts: 1838000 | #Constraints: 103022
3525.63/3535.13 c #Conflicts: 1839000 | #Constraints: 104022
3525.63/3535.13 c #Conflicts: 1840000 | #Constraints: 105022
3525.63/3535.13 c #Conflicts: 1841000 | #Constraints: 106022
3525.63/3535.13 c #Conflicts: 1842000 | #Constraints: 107022
3525.63/3535.13 c #Conflicts: 1843000 | #Constraints: 108022
3525.63/3535.13 c #Conflicts: 1844000 | #Constraints: 109022
3525.63/3535.13 c #Conflicts: 1845000 | #Constraints: 110022
3525.63/3535.13 c #Conflicts: 1846000 | #Constraints: 111022
3525.63/3535.13 c #Conflicts: 1847000 | #Constraints: 112022
3525.63/3535.13 c #Conflicts: 1848000 | #Constraints: 113022
3525.63/3535.13 c #Conflicts: 1849000 | #Constraints: 114022
3525.63/3535.13 c #Conflicts: 1850000 | #Constraints: 115022
3525.63/3535.13 c #Conflicts: 1851000 | #Constraints: 116022
3600.05/3609.70 c #Conflicts: 1852000 | #Constraints: 117022
3600.05/3609.70 c #Conflicts: 1853000 | #Constraints: 118022
3600.05/3609.70 c #Conflicts: 1854000 | #Constraints: 119022
3600.05/3609.70 c #Conflicts: 1855000 | #Constraints: 120022
3600.05/3609.70 c #Conflicts: 1856000 | #Constraints: 121022
3600.05/3609.70 c #Conflicts: 1857000 | #Constraints: 122022
3600.05/3609.70 c #Conflicts: 1858000 | #Constraints: 123022
3600.05/3609.70 c #Conflicts: 1859000 | #Constraints: 124022
3600.05/3609.70 c #Conflicts: 1860000 | #Constraints: 125022
3600.05/3609.70 c #Conflicts: 1861000 | #Constraints: 126022
3600.05/3609.70 c #Conflicts: 1862000 | #Constraints: 127022
3600.05/3609.70 c #Conflicts: 1863000 | #Constraints: 128022
3600.05/3609.70 c #Conflicts: 1864000 | #Constraints: 129022
3600.05/3609.70 c #Conflicts: 1865000 | #Constraints: 130022
3600.05/3609.70 c cpu time 3577.01 s
3600.05/3609.70 c deterministic time 258079341315 2.58e+11
3600.05/3609.70 c optimization time 283.531 s
3600.05/3609.70 c total solve time 3293.45 s
3600.05/3609.70 c core-guided solve time 0 s
3600.05/3609.70 c propagation time 1969.6 s
3600.05/3609.70 c conflict analysis time 1376.61 s
3600.05/3609.70 c propagations 903327478
3600.05/3609.70 c resolve steps 83061764
3600.05/3609.70 c decisions 13074033
3600.05/3609.70 c conflicts 1865405
3600.05/3609.70 c restarts 3580
3600.05/3609.70 c inprocessing phases 84
3600.05/3609.70 c garbage collections 84 ,( 100.00 )
3600.05/3609.70 c input clauses 6212 ,( 98.57 )
3600.05/3609.70 c input cardinalities 90 ,( 1.43 )
3600.05/3609.70 c input general constraints 0 ,( 0.00 )
3600.05/3609.70 c input average constraint length 6.23
3600.05/3609.70 c input average constraint degree 1.94
3600.05/3609.70 c learned clauses 1441666 ,( 77.28 )
3600.05/3609.70 c learned cardinalities 29973 ,( 1.61 )
3600.05/3609.70 c learned general constraints 393791 ,( 21.11 )
3600.05/3609.70 c learned average constraint length 693.16
3600.05/3609.70 c learned average constraint degree 8442967.93
3600.05/3609.70 c watched CF 32, 64, 128, Arb: 132379 , 0 , 0 , 0
3600.05/3609.70 c counting CF 32, 64, 128, Arb: 261412 , 0 , 0 , 0
3600.05/3609.70 c watched constraints 132379 ,( 33.62 )
3600.05/3609.70 c counting constraints 261412 ,( 66.38 )
3600.05/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1458578361 , 664018081 , 3282000517 ,( 149489651 , 3132510866 )
3600.05/3609.70 c gcd simplifications 1190
3600.05/3609.70 c detected cardinalities 1821
3600.05/3609.70 c weakened non-implied lits 364306151
3600.05/3609.70 c weakened non-implying lits 262809
3600.05/3609.70 c original variables 6120
3600.05/3609.70 c clausal propagations 336595729
3600.05/3609.70 c cardinality propagations 341981995
3600.05/3609.70 c watched propagations 4768079
3600.05/3609.70 c counting propagations 213810591
3600.05/3609.70 c watch lookups 140124751554
3600.05/3609.70 c watch backjump lookups 0
3600.05/3609.70 c watch checks 39746289421
3600.05/3609.70 c propagation checks 71872143651
3600.05/3609.70 c constraint additions 4501125936
3600.05/3609.70 c trail pops 918262183
3600.05/3609.70 c formula constraints 6302
3600.05/3609.70 c learned constraints 1865402
3600.05/3609.70 c bound constraints 0
3600.05/3609.70 c core-guided constraints 0
3600.05/3609.70 c encountered formula constraints 49126219
3600.05/3609.70 c encountered learned constraints 35800684
3600.05/3609.70 c encountered bound constraints 0
3600.05/3609.70 c encountered core-guided constraints 0
3600.05/3609.70 c LP total time 185.71 s
3600.05/3609.70 c LP solve time 131.63 s
3600.05/3609.70 c LP constraints added 8770
3600.05/3609.70 c LP constraints removed 2355
3600.05/3609.70 c LP pivots internal 192388
3600.05/3609.70 c LP pivots root 174670
3600.05/3609.70 c LP calls 54
3600.05/3609.70 c LP optimalities 46
3600.05/3609.70 c LP no pivot count 7
3600.05/3609.70 c LP infeasibilities 3
3600.05/3609.70 c LP valid Farkas constraints 3
3600.05/3609.70 c LP learned Farkas constraints 3
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 22
3600.05/3609.70 c LP learned cuts 2446
3600.05/3609.70 c LP deleted cuts 2355
3600.05/3609.70 c LP encountered Gomory constraints 209
3600.05/3609.70 c LP encountered Farkas constraints 48
3600.05/3609.70 c LP encountered learned Farkas constraints 6
3600.05/3609.70 c CG auxiliary variables introduced 0
3600.05/3609.70 c CG solutions found 0
3600.05/3609.70 c CG cores constructed 0
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 0
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 0.00
3600.05/3609.70 c CG core slack average 0.00
3600.05/3609.70 c CG core upper bound improvements 0
3600.05/3609.70 c STR number of successful calls 0
3600.05/3609.70 c STR number of unsuccessful calls 0
3600.05/3609.70 c STR number of inconclusive calls 0
3600.05/3609.70 c STR number of successful attempts 0
3600.05/3609.70 c STR number of unsuccessful attempts 0
3600.05/3609.70 c STR number of inconclusive attempts 0
3600.05/3609.70 c STR average degree increase per successful call inf
3600.05/3609.70 c STR average degree increase per successful attempt inf
3600.05/3609.70 c STR total number of conflicts for successful attempts 0
3600.05/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.70 c STR average number of conflicts per successful attempt inf
3600.05/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.70 c AVG.sumWPerc 58.62
3600.05/3609.70 c bigint constraints 0
3600.05/3609.70 s UNKNOWN
3600.05/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57474 MiB free)
memory of node 1: 64507 MiB (57340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507267-1751176154/watcher-4507267-1751176154 -o /tmp/evaluation-result-4507267-1751176154/solver-4507267-1751176154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22982 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507267-1751176154.opb PROOFDIR/proof-4507267-1751176154
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=23852, runsolver pid=23849
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.09 3/266 23854
/proc/meminfo: memFree=117565108/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/23854/stat : 23854 (roundingsat) D 23852 23852 22971 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 33293303 52015104 1856 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.20536 s]*
/proc/loadavg: 4.10 4.09 4.09 3/266 23854
/proc/meminfo: memFree=117557044/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/23854/stat : 23854 (roundingsat) D 23852 23852 22971 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 33293303 52015104 1856 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.304659 s]*
/proc/loadavg: 4.10 4.09 4.09 3/266 23854
/proc/meminfo: memFree=117557044/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=50796 memory=7424 CPUtime=0 cores=4,6
/proc/23854/stat : 23854 (roundingsat) D 23852 23852 22971 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 33293303 52015104 1856 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.700194 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 23854
/proc/meminfo: memFree=119112800/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=73752 memory=28436 CPUtime=0.27 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 5167 0 0 0 26 1 0 0 20 0 1 0 33293303 75522048 7109 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 18438 7109 2272 1147 0 5865 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 77944 KiB
Current children cumulated memory: 31508 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123396156/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=75068 memory=29716 CPUtime=1.07 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 5462 0 0 0 104 3 0 0 20 0 1 0 33293303 76869632 7429 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 18767 7429 2304 1147 0 6194 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 79260 KiB
Current children cumulated memory: 32788 KiB
[startup+3.10528 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123364420/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=80160 memory=37104 CPUtime=2.67 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 6774 0 0 0 260 7 0 0 20 0 1 0 33293303 82083840 9276 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 20040 9276 2336 1147 0 7467 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 84352 KiB
Current children cumulated memory: 40176 KiB
[startup+6.30015 s]
/proc/loadavg: 4.17 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123311328/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=85800 memory=42172 CPUtime=5.85 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 7540 0 0 0 570 15 0 0 20 0 1 0 33293303 87859200 10543 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 21450 10543 2336 1147 0 8877 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 89992 KiB
Current children cumulated memory: 45244 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123247320/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=94404 memory=47164 CPUtime=12.24 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 8792 0 0 0 1197 27 0 0 20 0 1 0 33293303 96669696 11791 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 23601 11791 2336 1147 0 11028 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 98596 KiB
Current children cumulated memory: 50236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 23874
/proc/meminfo: memFree=123112404/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=98408 memory=54000 CPUtime=25.01 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 9993 0 0 0 2450 51 0 0 20 0 1 0 33293303 100769792 13500 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 24602 13500 2336 1147 0 12029 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 102600 KiB
Current children cumulated memory: 57072 KiB
[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23876
/proc/meminfo: memFree=122751244/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=134004 memory=87836 CPUtime=50.55 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 17442 0 0 0 4966 89 0 0 20 0 1 0 33293303 137220096 21959 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 33501 21959 2336 1147 0 20928 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 138196 KiB
Current children cumulated memory: 90908 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 23878
/proc/meminfo: memFree=122180932/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=224736 memory=162856 CPUtime=101.61 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 25969 0 0 0 9999 162 0 0 20 0 1 0 33293303 230129664 40714 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 56184 40714 2336 1147 0 43611 0
Current children cumulated CPU time: 101.61 s
Current children cumulated vsize: 228928 KiB
Current children cumulated memory: 165928 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23881
/proc/meminfo: memFree=121580064/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=242892 memory=185524 CPUtime=161.46 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 30118 0 0 0 15905 241 0 0 20 0 1 0 33293303 248721408 46381 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 60723 46381 2336 1147 0 48150 0
Current children cumulated CPU time: 161.46 s
Current children cumulated vsize: 247084 KiB
Current children cumulated memory: 188596 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 23883
/proc/meminfo: memFree=120955560/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=320624 memory=245000 CPUtime=221.29 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 37367 0 0 0 21832 297 0 0 20 0 1 0 33293303 328318976 61250 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 80156 61250 2336 1147 0 67583 0
################
# More data... #
################
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 24091
/proc/meminfo: memFree=105852804/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3153.72 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92223 0 0 0 313275 2097 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 24095
/proc/meminfo: memFree=105493120/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3213.58 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92224 0 0 0 319226 2132 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 24099
/proc/meminfo: memFree=105089156/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3273.44 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92224 0 0 0 325177 2167 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 24101
/proc/meminfo: memFree=104727664/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3333.3 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92224 0 0 0 331120 2210 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 24105
/proc/meminfo: memFree=104462284/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3393.14 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92224 0 0 0 337070 2244 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 24112
/proc/meminfo: memFree=104148712/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3453.01 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92242 0 0 0 343034 2267 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 24114
/proc/meminfo: memFree=103827000/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3512.85 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92398 0 0 0 349000 2285 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 24116
/proc/meminfo: memFree=103538688/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3572.71 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92435 0 0 0 354973 2298 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.06 4.08 4.09 4/266 24127
/proc/meminfo: memFree=104990440/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3600.05 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92454 0 0 0 357700 2305 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 23852 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.001944 s
[startup+3609.73 s]
# the end of solver process 23854 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.02 s, system=23.0594 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.06 4.08 4.09 4/266 24127
/proc/meminfo: memFree=104990440/131249996 swapFree=33010684/33010684
[pid=23852] ppid=23849 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23852/stat : 23852 (run-dec-ls-log.) S 23849 23852 22971 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 33293302 4292608 768 18446744073709551615 94640560652288 94640561546821 140736686987392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94640561785872 94640561833616 94640591446016 140736686995739 140736686995937 140736686995937 140736687001539 0
/proc/23852/statm: 1048 768 704 219 0 110 0
[pid=23854] ppid=23852 vsize=969312 memory=853920 CPUtime=3600.05 cores=4,6
/proc/23854/stat : 23854 (roundingsat) R 23852 23852 22971 0 -1 4194304 92454 0 0 0 357700 2305 0 0 20 0 1 0 33293303 992575488 213480 18446744073709551615 4227072 8923433 140720701522576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22863872 140720701524304 140720701524520 140720701524520 140720701530090 0
/proc/23854/statm: 242328 213480 2336 1147 0 229755 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 973504 KiB
Current children cumulated memory: 856992 KiB
Child status: 2
Real time (s): 3609.73
CPU time (s): 3600.08
CPU user time (s): 3577.02
CPU system time (s): 23.0594
CPU usage (%): 99.7325
Max. virtual memory (cumulated for all children) (KiB): 973504
Max. memory (cumulated for all children) (KiB): 856992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.02
system time used= 23.0594
maximum resident set size= 854304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92687
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11877784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 625
involuntary context switches= 5011
# summary of solver processes directly reported to runsolver:
# pid: 23852,23854
# total CPU time (s): 3600.08
# total CPU user time (s): 3577.02
# total CPU system time (s): 23.0594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.956 second user time and 16.1288 second system time
The end
Begin job on nodeC024 at 2025-06-29 07:49:14
IDJOB=4507267
IDBENCH=158339
IDSOLVER=3354
FILE ID=nodeC024/4507267-1751176154
RUNJOBID= nodeC024-1751168926-22982
SLURM_JOB_ID= 9587515
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507267-1751176154/watcher-4507267-1751176154 -o /tmp/evaluation-result-4507267-1751176154/solver-4507267-1751176154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22982 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507267-1751176154.opb PROOFDIR/proof-4507267-1751176154
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=2053755889
nodeC024 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.884
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.36
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.654
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.36
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 : 3700.000
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.36
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.687
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.36
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 : 3600.026
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.36
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 : 3389.051
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.36
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.647
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117570212 kB
MemAvailable: 128680908 kB
Buffers: 3280 kB
Cached: 11907972 kB
SwapCached: 0 kB
Active: 1387956 kB
Inactive: 11687944 kB
Active(anon): 1182736 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 11687944 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31008 kB
Writeback: 0 kB
AnonPages: 1165448 kB
Mapped: 112136 kB
Shmem: 18064 kB
KReclaimable: 113140 kB
Slab: 199752 kB
SReclaimable: 113140 kB
SUnreclaim: 86612 kB
KernelStack: 4320 kB
PageTables: 5380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1636620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 622592 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC024 at 2025-06-29 08:49:24