0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.06 c #variables 6256 #constraints 6442
36.96/37.11 c #Conflicts: 1000 | #Constraints: 7441
36.96/37.11 c #Conflicts: 2000 | #Constraints: 8441
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 3000 | #Constraints: 8069
36.96/37.11 c #Conflicts: 4000 | #Constraints: 9069
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 5000 | #Constraints: 8522
36.96/37.11 c #Conflicts: 6000 | #Constraints: 9522
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 7000 | #Constraints: 8568
36.96/37.11 c #Conflicts: 8000 | #Constraints: 9568
36.96/37.11 c #Conflicts: 9000 | #Constraints: 10568
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 10000 | #Constraints: 9308
36.96/37.11 c #Conflicts: 11000 | #Constraints: 10308
36.96/37.11 c #Conflicts: 12000 | #Constraints: 11308
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 13000 | #Constraints: 9800
36.96/37.11 c #Conflicts: 14000 | #Constraints: 10800
36.96/37.11 c #Conflicts: 15000 | #Constraints: 11800
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 16000 | #Constraints: 10080
36.96/37.11 c #Conflicts: 17000 | #Constraints: 11080
36.96/37.11 c #Conflicts: 18000 | #Constraints: 12080
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 19000 | #Constraints: 10111
36.96/37.11 c #Conflicts: 20000 | #Constraints: 11111
36.96/37.11 c #Conflicts: 21000 | #Constraints: 12112
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 22000 | #Constraints: 9918
36.96/37.11 c #Conflicts: 23000 | #Constraints: 10918
36.96/37.11 c #Conflicts: 24000 | #Constraints: 11918
36.96/37.11 c #Conflicts: 25000 | #Constraints: 12918
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 26000 | #Constraints: 10578
36.96/37.11 c #Conflicts: 27000 | #Constraints: 11578
36.96/37.11 c #Conflicts: 28000 | #Constraints: 12578
36.96/37.11 c #Conflicts: 29000 | #Constraints: 13578
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 30000 | #Constraints: 10986
36.96/37.11 c #Conflicts: 31000 | #Constraints: 11986
36.96/37.11 c #Conflicts: 32000 | #Constraints: 12986
36.96/37.11 c #Conflicts: 33000 | #Constraints: 13986
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 34000 | #Constraints: 11219
36.96/37.11 c #Conflicts: 35000 | #Constraints: 12219
36.96/37.11 c #Conflicts: 36000 | #Constraints: 13219
36.96/37.11 c #Conflicts: 37000 | #Constraints: 14219
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 38000 | #Constraints: 11238
36.96/37.11 c #Conflicts: 39000 | #Constraints: 12238
36.96/37.11 c #Conflicts: 40000 | #Constraints: 13238
36.96/37.11 c #Conflicts: 41000 | #Constraints: 14238
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 42000 | #Constraints: 11049
36.96/37.11 c #Conflicts: 43000 | #Constraints: 12049
36.96/37.11 c #Conflicts: 44000 | #Constraints: 13049
36.96/37.11 c #Conflicts: 45000 | #Constraints: 14049
36.96/37.11 c #Conflicts: 46000 | #Constraints: 15049
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 47000 | #Constraints: 11656
36.96/37.11 c #Conflicts: 48000 | #Constraints: 12656
36.96/37.11 c #Conflicts: 49000 | #Constraints: 13656
36.96/37.11 c #Conflicts: 50000 | #Constraints: 14656
36.96/37.11 c #Conflicts: 51000 | #Constraints: 15656
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 52000 | #Constraints: 12069
36.96/37.11 c #Conflicts: 53000 | #Constraints: 13069
36.96/37.11 c #Conflicts: 54000 | #Constraints: 14069
36.96/37.11 c #Conflicts: 55000 | #Constraints: 15069
36.96/37.11 c #Conflicts: 56000 | #Constraints: 16069
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 57000 | #Constraints: 12331
36.96/37.11 c #Conflicts: 58000 | #Constraints: 13331
36.96/37.11 c #Conflicts: 59000 | #Constraints: 14331
36.96/37.11 c #Conflicts: 60000 | #Constraints: 15331
36.96/37.11 c #Conflicts: 61000 | #Constraints: 16331
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 62000 | #Constraints: 12309
36.96/37.11 c #Conflicts: 63000 | #Constraints: 13309
36.96/37.11 c #Conflicts: 64000 | #Constraints: 14309
36.96/37.11 c #Conflicts: 65000 | #Constraints: 15309
36.96/37.11 c #Conflicts: 66000 | #Constraints: 16309
36.96/37.11 c INPROCESSING
36.96/37.11 c GARBAGE COLLECT
36.96/37.11 c #Conflicts: 67000 | #Constraints: 12117
36.96/37.11 c #Conflicts: 68000 | #Constraints: 13117
107.03/107.46 c #Conflicts: 69000 | #Constraints: 14117
107.03/107.46 c #Conflicts: 70000 | #Constraints: 15117
107.03/107.46 c #Conflicts: 71000 | #Constraints: 16117
107.03/107.46 c #Conflicts: 72000 | #Constraints: 17117
107.03/107.46 c #Conflicts: 73000 | #Constraints: 18117
107.03/107.46 c #Conflicts: 74000 | #Constraints: 19117
107.03/107.46 c #Conflicts: 75000 | #Constraints: 20117
107.03/107.46 c #Conflicts: 76000 | #Constraints: 21117
107.03/107.46 c #Conflicts: 77000 | #Constraints: 22117
107.03/107.46 c #Conflicts: 78000 | #Constraints: 23117
107.03/107.46 c #Conflicts: 79000 | #Constraints: 24117
107.03/107.46 c #Conflicts: 80000 | #Constraints: 25117
107.03/107.46 c #Conflicts: 81000 | #Constraints: 26118
107.03/107.46 c #Conflicts: 82000 | #Constraints: 27118
107.03/107.46 c #Conflicts: 83000 | #Constraints: 28118
107.03/107.46 c #Conflicts: 84000 | #Constraints: 29118
107.03/107.46 c #Conflicts: 85000 | #Constraints: 30118
107.03/107.46 c #Conflicts: 86000 | #Constraints: 31118
107.03/107.46 c #Conflicts: 87000 | #Constraints: 32118
107.03/107.46 c #Conflicts: 88000 | #Constraints: 33118
107.03/107.46 c #Conflicts: 89000 | #Constraints: 34118
107.03/107.46 c INPROCESSING
107.03/107.46 c GARBAGE COLLECT
107.03/107.46 c #Conflicts: 90000 | #Constraints: 21214
107.03/107.46 c #Conflicts: 91000 | #Constraints: 22214
107.03/107.46 c #Conflicts: 92000 | #Constraints: 23214
107.03/107.46 c #Conflicts: 93000 | #Constraints: 24214
107.03/107.46 c #Conflicts: 94000 | #Constraints: 25214
107.03/107.46 c #Conflicts: 95000 | #Constraints: 26214
107.03/107.46 c #Conflicts: 96000 | #Constraints: 27214
107.03/107.46 c INPROCESSING
107.03/107.46 c GARBAGE COLLECT
107.03/107.46 c #Conflicts: 97000 | #Constraints: 17932
107.03/107.46 c #Conflicts: 98000 | #Constraints: 18932
107.03/107.46 c #Conflicts: 99000 | #Constraints: 19932
107.03/107.46 c #Conflicts: 100000 | #Constraints: 20932
107.03/107.46 c #Conflicts: 101000 | #Constraints: 21932
107.03/107.46 c #Conflicts: 102000 | #Constraints: 22932
107.03/107.46 c INPROCESSING
107.03/107.46 c GARBAGE COLLECT
107.03/107.46 c #Conflicts: 103000 | #Constraints: 15370
107.03/107.46 c #Conflicts: 104000 | #Constraints: 16370
107.03/107.46 c #Conflicts: 105000 | #Constraints: 17370
107.03/107.46 c #Conflicts: 106000 | #Constraints: 18370
107.03/107.46 c #Conflicts: 107000 | #Constraints: 19370
107.03/107.46 c #Conflicts: 108000 | #Constraints: 20370
107.03/107.46 c #Conflicts: 109000 | #Constraints: 21370
107.03/107.46 c #Conflicts: 110000 | #Constraints: 22370
107.03/107.46 c INPROCESSING
107.03/107.46 c GARBAGE COLLECT
107.03/107.46 c #Conflicts: 111000 | #Constraints: 15512
107.03/107.46 c #Conflicts: 112000 | #Constraints: 16512
107.03/107.46 c #Conflicts: 113000 | #Constraints: 17512
107.03/107.46 c #Conflicts: 114000 | #Constraints: 18512
107.03/107.46 c #Conflicts: 115000 | #Constraints: 19512
107.03/107.46 c #Conflicts: 116000 | #Constraints: 20512
107.03/107.46 c #Conflicts: 117000 | #Constraints: 21512
107.03/107.46 c INPROCESSING
107.03/107.46 c GARBAGE COLLECT
107.03/107.46 c #Conflicts: 118000 | #Constraints: 14914
107.03/107.46 c #Conflicts: 119000 | #Constraints: 15914
107.03/107.46 c #Conflicts: 120000 | #Constraints: 16914
107.03/107.46 c #Conflicts: 121000 | #Constraints: 17915
107.03/107.46 c #Conflicts: 122000 | #Constraints: 18915
107.03/107.46 c #Conflicts: 123000 | #Constraints: 19915
107.03/107.46 c #Conflicts: 124000 | #Constraints: 20915
107.03/107.46 c #Conflicts: 125000 | #Constraints: 21915
107.03/107.46 c #Conflicts: 126000 | #Constraints: 22915
107.03/107.46 c #Conflicts: 127000 | #Constraints: 23915
107.03/107.46 c #Conflicts: 128000 | #Constraints: 24915
107.03/107.46 c #Conflicts: 129000 | #Constraints: 25915
107.03/107.46 c #Conflicts: 130000 | #Constraints: 26915
107.03/107.46 c #Conflicts: 131000 | #Constraints: 27915
107.03/107.46 c #Conflicts: 132000 | #Constraints: 28915
107.03/107.46 c #Conflicts: 133000 | #Constraints: 29915
107.03/107.46 c #Conflicts: 134000 | #Constraints: 30915
107.03/107.46 c #Conflicts: 135000 | #Constraints: 31915
107.03/107.46 c #Conflicts: 136000 | #Constraints: 32915
107.03/107.46 c #Conflicts: 137000 | #Constraints: 33915
107.03/107.46 c #Conflicts: 138000 | #Constraints: 34915
107.03/107.46 c #Conflicts: 139000 | #Constraints: 35915
107.03/107.46 c #Conflicts: 140000 | #Constraints: 36915
107.03/107.46 c #Conflicts: 141000 | #Constraints: 37915
107.03/107.46 c #Conflicts: 142000 | #Constraints: 38915
107.03/107.46 c #Conflicts: 143000 | #Constraints: 39915
118.19/118.66 c #Conflicts: 144000 | #Constraints: 40915
118.19/118.66 c #Conflicts: 145000 | #Constraints: 41915
118.19/118.66 c #Conflicts: 146000 | #Constraints: 42915
118.19/118.66 c INPROCESSING
118.19/118.66 c GARBAGE COLLECT
118.19/118.66 c rational objective 92
198.84/199.50 c #Conflicts: 147000 | #Constraints: 25600
198.84/199.50 c #Conflicts: 148000 | #Constraints: 26600
198.84/199.50 c #Conflicts: 149000 | #Constraints: 27600
198.84/199.50 c #Conflicts: 150000 | #Constraints: 28600
198.84/199.50 c #Conflicts: 151000 | #Constraints: 29600
198.84/199.50 c #Conflicts: 152000 | #Constraints: 30600
198.84/199.50 c #Conflicts: 153000 | #Constraints: 31601
198.84/199.50 c #Conflicts: 154000 | #Constraints: 32601
198.84/199.50 c #Conflicts: 155000 | #Constraints: 33601
198.84/199.50 c INPROCESSING
198.84/199.50 c GARBAGE COLLECT
198.84/199.50 c #Conflicts: 156000 | #Constraints: 21144
198.84/199.50 c #Conflicts: 157000 | #Constraints: 22144
198.84/199.50 c #Conflicts: 158000 | #Constraints: 23144
198.84/199.50 c #Conflicts: 159000 | #Constraints: 24144
198.84/199.50 c #Conflicts: 160000 | #Constraints: 25144
198.84/199.50 c #Conflicts: 161000 | #Constraints: 26144
198.84/199.50 c #Conflicts: 162000 | #Constraints: 27144
198.84/199.50 c #Conflicts: 163000 | #Constraints: 28144
198.84/199.50 c INPROCESSING
198.84/199.50 c GARBAGE COLLECT
198.84/199.50 c #Conflicts: 164000 | #Constraints: 18030
198.84/199.50 c #Conflicts: 165000 | #Constraints: 19030
198.84/199.50 c #Conflicts: 166000 | #Constraints: 20030
198.84/199.50 c #Conflicts: 167000 | #Constraints: 21030
198.84/199.50 c #Conflicts: 168000 | #Constraints: 22030
198.84/199.50 c #Conflicts: 169000 | #Constraints: 23030
198.84/199.50 c #Conflicts: 170000 | #Constraints: 24030
198.84/199.50 c #Conflicts: 171000 | #Constraints: 25030
198.84/199.50 c #Conflicts: 172000 | #Constraints: 26030
198.84/199.50 c INPROCESSING
198.84/199.50 c GARBAGE COLLECT
198.84/199.50 c #Conflicts: 173000 | #Constraints: 16983
198.84/199.50 c #Conflicts: 174000 | #Constraints: 17983
198.84/199.50 c #Conflicts: 175000 | #Constraints: 18983
198.84/199.50 c #Conflicts: 176000 | #Constraints: 19983
198.84/199.50 c #Conflicts: 177000 | #Constraints: 20983
198.84/199.50 c #Conflicts: 178000 | #Constraints: 21983
198.84/199.50 c #Conflicts: 179000 | #Constraints: 22983
198.84/199.50 c #Conflicts: 180000 | #Constraints: 23983
198.84/199.50 c #Conflicts: 181000 | #Constraints: 24983
198.84/199.50 c #Conflicts: 182000 | #Constraints: 25983
198.84/199.50 c INPROCESSING
198.84/199.50 c GARBAGE COLLECT
198.84/199.50 c #Conflicts: 183000 | #Constraints: 17347
198.84/199.50 c #Conflicts: 184000 | #Constraints: 18347
198.84/199.50 c #Conflicts: 185000 | #Constraints: 19347
198.84/199.50 c #Conflicts: 186000 | #Constraints: 20347
198.84/199.50 c #Conflicts: 187000 | #Constraints: 21347
198.84/199.50 c #Conflicts: 188000 | #Constraints: 22347
198.84/199.50 c #Conflicts: 189000 | #Constraints: 23347
198.84/199.50 c #Conflicts: 190000 | #Constraints: 24347
198.84/199.50 c #Conflicts: 191000 | #Constraints: 25347
198.84/199.50 c #Conflicts: 192000 | #Constraints: 26347
198.84/199.50 c #Conflicts: 193000 | #Constraints: 27347
198.84/199.50 c #Conflicts: 194000 | #Constraints: 28347
198.84/199.50 c #Conflicts: 195000 | #Constraints: 29347
198.84/199.50 c #Conflicts: 196000 | #Constraints: 30347
198.84/199.50 c #Conflicts: 197000 | #Constraints: 31347
198.84/199.50 c #Conflicts: 198000 | #Constraints: 32347
198.84/199.50 c #Conflicts: 199000 | #Constraints: 33347
198.84/199.50 c #Conflicts: 200000 | #Constraints: 34347
198.84/199.50 c #Conflicts: 201000 | #Constraints: 35347
198.84/199.50 c #Conflicts: 202000 | #Constraints: 36347
198.84/199.50 c #Conflicts: 203000 | #Constraints: 37347
198.84/199.50 c #Conflicts: 204000 | #Constraints: 38347
198.84/199.50 c #Conflicts: 205000 | #Constraints: 39347
198.84/199.50 c #Conflicts: 206000 | #Constraints: 40347
198.84/199.50 c #Conflicts: 207000 | #Constraints: 41347
198.84/199.50 c #Conflicts: 208000 | #Constraints: 42347
198.84/199.50 c #Conflicts: 209000 | #Constraints: 43347
198.84/199.50 c #Conflicts: 210000 | #Constraints: 44347
198.84/199.50 c #Conflicts: 211000 | #Constraints: 45347
198.84/199.50 c #Conflicts: 212000 | #Constraints: 46347
198.84/199.50 c #Conflicts: 213000 | #Constraints: 47347
198.84/199.50 c #Conflicts: 214000 | #Constraints: 48347
198.84/199.50 c #Conflicts: 215000 | #Constraints: 49347
198.84/199.50 c #Conflicts: 216000 | #Constraints: 50347
198.84/199.50 c #Conflicts: 217000 | #Constraints: 51347
198.84/199.50 c INPROCESSING
198.84/199.50 c GARBAGE COLLECT
198.84/199.50 c #Conflicts: 218000 | #Constraints: 29845
198.84/199.50 c #Conflicts: 219000 | #Constraints: 30845
198.84/199.50 c #Conflicts: 220000 | #Constraints: 31845
198.84/199.50 c #Conflicts: 221000 | #Constraints: 32845
198.84/199.50 c #Conflicts: 222000 | #Constraints: 33845
232.93/233.70 c #Conflicts: 223000 | #Constraints: 34845
232.93/233.70 c #Conflicts: 224000 | #Constraints: 35845
232.93/233.70 c #Conflicts: 225000 | #Constraints: 36845
232.93/233.70 c #Conflicts: 226000 | #Constraints: 37845
232.93/233.70 c #Conflicts: 227000 | #Constraints: 38845
232.93/233.70 c #Conflicts: 228000 | #Constraints: 39845
232.93/233.70 c INPROCESSING
232.93/233.70 c GARBAGE COLLECT
232.93/233.70 c #Conflicts: 229000 | #Constraints: 24284
232.93/233.70 c #Conflicts: 230000 | #Constraints: 25284
232.93/233.70 c #Conflicts: 231000 | #Constraints: 26284
232.93/233.70 c #Conflicts: 232000 | #Constraints: 27284
232.93/233.70 c #Conflicts: 233000 | #Constraints: 28284
232.93/233.70 c #Conflicts: 234000 | #Constraints: 29284
232.93/233.70 c #Conflicts: 235000 | #Constraints: 30284
232.93/233.70 c #Conflicts: 236000 | #Constraints: 31284
232.93/233.70 c #Conflicts: 237000 | #Constraints: 32284
232.93/233.70 c #Conflicts: 238000 | #Constraints: 33284
232.93/233.70 c INPROCESSING
232.93/233.70 c GARBAGE COLLECT
232.93/233.70 c #Conflicts: 239000 | #Constraints: 20713
232.93/233.70 c #Conflicts: 240000 | #Constraints: 21713
232.93/233.70 c #Conflicts: 241000 | #Constraints: 22713
232.93/233.70 c #Conflicts: 242000 | #Constraints: 23713
232.93/233.70 c #Conflicts: 243000 | #Constraints: 24713
232.93/233.70 c #Conflicts: 244000 | #Constraints: 25713
232.93/233.70 c #Conflicts: 245000 | #Constraints: 26713
232.93/233.70 c #Conflicts: 246000 | #Constraints: 27713
232.93/233.70 c #Conflicts: 247000 | #Constraints: 28713
232.93/233.70 c #Conflicts: 248000 | #Constraints: 29713
232.93/233.70 c #Conflicts: 249000 | #Constraints: 30713
232.93/233.70 c INPROCESSING
232.93/233.70 c GARBAGE COLLECT
232.93/233.70 c rational objective 92
244.90/245.75 c #Conflicts: 250000 | #Constraints: 19485
244.90/245.75 c #Conflicts: 251000 | #Constraints: 20485
244.90/245.75 c #Conflicts: 252000 | #Constraints: 21485
244.90/245.75 c #Conflicts: 253000 | #Constraints: 22485
244.90/245.75 c #Conflicts: 254000 | #Constraints: 23485
244.90/245.75 c #Conflicts: 255000 | #Constraints: 24485
244.90/245.75 c #Conflicts: 256000 | #Constraints: 25485
244.90/245.75 c #Conflicts: 257000 | #Constraints: 26485
244.90/245.75 c #Conflicts: 258000 | #Constraints: 27485
244.90/245.75 c #Conflicts: 259000 | #Constraints: 28485
244.90/245.75 c #Conflicts: 260000 | #Constraints: 29485
244.90/245.75 c INPROCESSING
244.90/245.75 c GARBAGE COLLECT
244.90/245.75 c rational objective 92
306.10/307.17 c #Conflicts: 261000 | #Constraints: 18786
306.10/307.17 c #Conflicts: 262000 | #Constraints: 19786
306.10/307.17 c #Conflicts: 263000 | #Constraints: 20786
306.10/307.17 c #Conflicts: 264000 | #Constraints: 21786
306.10/307.17 c #Conflicts: 265000 | #Constraints: 22786
306.10/307.17 c #Conflicts: 266000 | #Constraints: 23786
306.10/307.17 c #Conflicts: 267000 | #Constraints: 24786
306.10/307.17 c #Conflicts: 268000 | #Constraints: 25786
306.10/307.17 c #Conflicts: 269000 | #Constraints: 26786
306.10/307.17 c #Conflicts: 270000 | #Constraints: 27786
306.10/307.17 c #Conflicts: 271000 | #Constraints: 28786
306.10/307.17 c #Conflicts: 272000 | #Constraints: 29786
306.10/307.17 c #Conflicts: 273000 | #Constraints: 30786
306.10/307.17 c #Conflicts: 274000 | #Constraints: 31786
306.10/307.17 c #Conflicts: 275000 | #Constraints: 32786
306.10/307.17 c #Conflicts: 276000 | #Constraints: 33786
306.10/307.17 c #Conflicts: 277000 | #Constraints: 34786
306.10/307.17 c #Conflicts: 278000 | #Constraints: 35786
306.10/307.17 c #Conflicts: 279000 | #Constraints: 36786
306.10/307.17 c #Conflicts: 280000 | #Constraints: 37786
306.10/307.17 c #Conflicts: 281000 | #Constraints: 38786
306.10/307.17 c #Conflicts: 282000 | #Constraints: 39786
306.10/307.17 c #Conflicts: 283000 | #Constraints: 40786
306.10/307.17 c #Conflicts: 284000 | #Constraints: 41786
306.10/307.17 c #Conflicts: 285000 | #Constraints: 42786
306.10/307.17 c #Conflicts: 286000 | #Constraints: 43786
306.10/307.17 c #Conflicts: 287000 | #Constraints: 44786
306.10/307.17 c #Conflicts: 288000 | #Constraints: 45786
306.10/307.17 c #Conflicts: 289000 | #Constraints: 46786
306.10/307.17 c #Conflicts: 290000 | #Constraints: 47786
306.10/307.17 c #Conflicts: 291000 | #Constraints: 48786
306.10/307.17 c #Conflicts: 292000 | #Constraints: 49786
306.10/307.17 c #Conflicts: 293000 | #Constraints: 50786
306.10/307.17 c #Conflicts: 294000 | #Constraints: 51786
306.10/307.17 c #Conflicts: 295000 | #Constraints: 52786
306.10/307.17 c #Conflicts: 296000 | #Constraints: 53786
306.10/307.17 c #Conflicts: 297000 | #Constraints: 54786
306.10/307.17 c #Conflicts: 298000 | #Constraints: 55786
306.10/307.17 c #Conflicts: 299000 | #Constraints: 56786
306.10/307.17 c #Conflicts: 300000 | #Constraints: 57786
306.10/307.17 c #Conflicts: 301000 | #Constraints: 58786
306.10/307.17 c #Conflicts: 302000 | #Constraints: 59786
306.10/307.17 c INPROCESSING
306.10/307.17 c GARBAGE COLLECT
306.10/307.17 c rational objective 92
392.15/393.42 c #Conflicts: 303000 | #Constraints: 34036
392.15/393.42 c #Conflicts: 304000 | #Constraints: 35036
392.15/393.42 c #Conflicts: 305000 | #Constraints: 36036
392.15/393.42 c #Conflicts: 306000 | #Constraints: 37036
392.15/393.42 c #Conflicts: 307000 | #Constraints: 38036
392.15/393.42 c #Conflicts: 308000 | #Constraints: 39036
392.15/393.42 c #Conflicts: 309000 | #Constraints: 40036
392.15/393.42 c #Conflicts: 310000 | #Constraints: 41036
392.15/393.42 c #Conflicts: 311000 | #Constraints: 42036
392.15/393.42 c #Conflicts: 312000 | #Constraints: 43036
392.15/393.42 c #Conflicts: 313000 | #Constraints: 44036
392.15/393.42 c #Conflicts: 314000 | #Constraints: 45036
392.15/393.42 c #Conflicts: 315000 | #Constraints: 46036
392.15/393.42 c INPROCESSING
392.15/393.42 c GARBAGE COLLECT
392.15/393.42 c #Conflicts: 316000 | #Constraints: 27462
392.15/393.42 c #Conflicts: 317000 | #Constraints: 28462
392.15/393.42 c #Conflicts: 318000 | #Constraints: 29462
392.15/393.42 c #Conflicts: 319000 | #Constraints: 30462
392.15/393.42 c #Conflicts: 320000 | #Constraints: 31462
392.15/393.42 c #Conflicts: 321000 | #Constraints: 32462
392.15/393.42 c #Conflicts: 322000 | #Constraints: 33462
392.15/393.42 c #Conflicts: 323000 | #Constraints: 34462
392.15/393.42 c #Conflicts: 324000 | #Constraints: 35462
392.15/393.42 c #Conflicts: 325000 | #Constraints: 36462
392.15/393.42 c #Conflicts: 326000 | #Constraints: 37462
392.15/393.42 c #Conflicts: 327000 | #Constraints: 38462
392.15/393.42 c INPROCESSING
392.15/393.42 c GARBAGE COLLECT
392.15/393.42 c #Conflicts: 328000 | #Constraints: 23420
392.15/393.42 c #Conflicts: 329000 | #Constraints: 24420
392.15/393.42 c #Conflicts: 330000 | #Constraints: 25420
392.15/393.42 c #Conflicts: 331000 | #Constraints: 26420
392.15/393.42 c #Conflicts: 332000 | #Constraints: 27420
392.15/393.42 c #Conflicts: 333000 | #Constraints: 28420
392.15/393.42 c #Conflicts: 334000 | #Constraints: 29420
392.15/393.42 c #Conflicts: 335000 | #Constraints: 30420
392.15/393.42 c #Conflicts: 336000 | #Constraints: 31420
392.15/393.42 c #Conflicts: 337000 | #Constraints: 32420
392.15/393.42 c #Conflicts: 338000 | #Constraints: 33420
392.15/393.42 c #Conflicts: 339000 | #Constraints: 34420
392.15/393.42 c #Conflicts: 340000 | #Constraints: 35420
392.15/393.42 c INPROCESSING
392.15/393.42 c GARBAGE COLLECT
392.15/393.42 c #Conflicts: 341000 | #Constraints: 22019
392.15/393.42 c #Conflicts: 342000 | #Constraints: 23019
392.15/393.42 c #Conflicts: 343000 | #Constraints: 24019
392.15/393.42 c #Conflicts: 344000 | #Constraints: 25019
392.15/393.42 c #Conflicts: 345000 | #Constraints: 26019
392.15/393.42 c #Conflicts: 346000 | #Constraints: 27019
392.15/393.42 c #Conflicts: 347000 | #Constraints: 28019
392.15/393.42 c #Conflicts: 348000 | #Constraints: 29019
392.15/393.42 c #Conflicts: 349000 | #Constraints: 30020
392.15/393.42 c #Conflicts: 350000 | #Constraints: 31020
392.15/393.42 c #Conflicts: 351000 | #Constraints: 32020
392.15/393.42 c #Conflicts: 352000 | #Constraints: 33020
392.15/393.42 c #Conflicts: 353000 | #Constraints: 34020
392.15/393.42 c INPROCESSING
392.15/393.42 c GARBAGE COLLECT
392.15/393.42 c #Conflicts: 354000 | #Constraints: 21213
392.15/393.42 c #Conflicts: 355000 | #Constraints: 22213
392.15/393.42 c #Conflicts: 356000 | #Constraints: 23213
392.15/393.42 c #Conflicts: 357000 | #Constraints: 24213
392.15/393.42 c #Conflicts: 358000 | #Constraints: 25213
392.15/393.42 c #Conflicts: 359000 | #Constraints: 26213
392.15/393.42 c #Conflicts: 360000 | #Constraints: 27213
392.15/393.42 c #Conflicts: 361000 | #Constraints: 28213
392.15/393.42 c #Conflicts: 362000 | #Constraints: 29213
392.15/393.42 c #Conflicts: 363000 | #Constraints: 30213
392.15/393.42 c #Conflicts: 364000 | #Constraints: 31213
392.15/393.42 c #Conflicts: 365000 | #Constraints: 32213
392.15/393.42 c #Conflicts: 366000 | #Constraints: 33213
392.15/393.42 c #Conflicts: 367000 | #Constraints: 34213
392.15/393.42 c #Conflicts: 368000 | #Constraints: 35213
392.15/393.42 c #Conflicts: 369000 | #Constraints: 36213
392.15/393.42 c #Conflicts: 370000 | #Constraints: 37213
392.15/393.42 c #Conflicts: 371000 | #Constraints: 38213
392.15/393.42 c #Conflicts: 372000 | #Constraints: 39213
392.15/393.42 c #Conflicts: 373000 | #Constraints: 40213
392.15/393.42 c #Conflicts: 374000 | #Constraints: 41213
392.15/393.42 c #Conflicts: 375000 | #Constraints: 42213
392.15/393.42 c #Conflicts: 376000 | #Constraints: 43213
392.15/393.42 c #Conflicts: 377000 | #Constraints: 44213
392.15/393.42 c #Conflicts: 378000 | #Constraints: 45213
392.15/393.42 c #Conflicts: 379000 | #Constraints: 46213
478.24/479.74 c #Conflicts: 380000 | #Constraints: 47213
478.24/479.74 c #Conflicts: 381000 | #Constraints: 48213
478.24/479.74 c #Conflicts: 382000 | #Constraints: 49213
478.24/479.74 c #Conflicts: 383000 | #Constraints: 50213
478.24/479.74 c #Conflicts: 384000 | #Constraints: 51213
478.24/479.74 c #Conflicts: 385000 | #Constraints: 52213
478.24/479.74 c #Conflicts: 386000 | #Constraints: 53213
478.24/479.74 c #Conflicts: 387000 | #Constraints: 54213
478.24/479.74 c #Conflicts: 388000 | #Constraints: 55213
478.24/479.74 c #Conflicts: 389000 | #Constraints: 56213
478.24/479.74 c #Conflicts: 390000 | #Constraints: 57213
478.24/479.74 c #Conflicts: 391000 | #Constraints: 58213
478.24/479.74 c #Conflicts: 392000 | #Constraints: 59213
478.24/479.74 c #Conflicts: 393000 | #Constraints: 60213
478.24/479.74 c #Conflicts: 394000 | #Constraints: 61213
478.24/479.74 c #Conflicts: 395000 | #Constraints: 62213
478.24/479.74 c #Conflicts: 396000 | #Constraints: 63213
478.24/479.74 c #Conflicts: 397000 | #Constraints: 64213
478.24/479.74 c #Conflicts: 398000 | #Constraints: 65213
478.24/479.74 c #Conflicts: 399000 | #Constraints: 66213
478.24/479.74 c #Conflicts: 400000 | #Constraints: 67213
478.24/479.74 c #Conflicts: 401000 | #Constraints: 68213
478.24/479.74 c INPROCESSING
478.24/479.74 c GARBAGE COLLECT
478.24/479.74 c #Conflicts: 402000 | #Constraints: 38210
478.24/479.74 c #Conflicts: 403000 | #Constraints: 39210
478.24/479.74 c #Conflicts: 404000 | #Constraints: 40210
478.24/479.74 c #Conflicts: 405000 | #Constraints: 41210
478.24/479.74 c #Conflicts: 406000 | #Constraints: 42210
478.24/479.74 c #Conflicts: 407000 | #Constraints: 43210
478.24/479.74 c #Conflicts: 408000 | #Constraints: 44210
478.24/479.74 c #Conflicts: 409000 | #Constraints: 45210
478.24/479.74 c #Conflicts: 410000 | #Constraints: 46210
478.24/479.74 c #Conflicts: 411000 | #Constraints: 47210
478.24/479.74 c #Conflicts: 412000 | #Constraints: 48210
478.24/479.74 c #Conflicts: 413000 | #Constraints: 49210
478.24/479.74 c #Conflicts: 414000 | #Constraints: 50210
478.24/479.74 c #Conflicts: 415000 | #Constraints: 51210
478.24/479.74 c #Conflicts: 416000 | #Constraints: 52210
478.24/479.74 c INPROCESSING
478.24/479.74 c GARBAGE COLLECT
478.24/479.74 c #Conflicts: 417000 | #Constraints: 30579
478.24/479.74 c #Conflicts: 418000 | #Constraints: 31579
478.24/479.74 c #Conflicts: 419000 | #Constraints: 32579
478.24/479.74 c #Conflicts: 420000 | #Constraints: 33579
478.24/479.74 c #Conflicts: 421000 | #Constraints: 34579
478.24/479.74 c #Conflicts: 422000 | #Constraints: 35579
478.24/479.74 c #Conflicts: 423000 | #Constraints: 36579
478.24/479.74 c #Conflicts: 424000 | #Constraints: 37579
478.24/479.74 c #Conflicts: 425000 | #Constraints: 38579
478.24/479.74 c #Conflicts: 426000 | #Constraints: 39579
478.24/479.74 c #Conflicts: 427000 | #Constraints: 40579
478.24/479.74 c #Conflicts: 428000 | #Constraints: 41579
478.24/479.74 c #Conflicts: 429000 | #Constraints: 42579
478.24/479.74 c #Conflicts: 430000 | #Constraints: 43579
478.24/479.74 c INPROCESSING
478.24/479.74 c GARBAGE COLLECT
478.24/479.74 c rational objective 92
500.28/501.83 c #Conflicts: 431000 | #Constraints: 26006
500.28/501.83 c #Conflicts: 432000 | #Constraints: 27006
500.28/501.83 c #Conflicts: 433000 | #Constraints: 28006
500.28/501.83 c #Conflicts: 434000 | #Constraints: 29006
500.28/501.83 c #Conflicts: 435000 | #Constraints: 30006
500.28/501.83 c #Conflicts: 436000 | #Constraints: 31006
500.28/501.83 c #Conflicts: 437000 | #Constraints: 32006
500.28/501.83 c #Conflicts: 438000 | #Constraints: 33006
500.28/501.83 c #Conflicts: 439000 | #Constraints: 34006
500.28/501.83 c #Conflicts: 440000 | #Constraints: 35006
500.28/501.83 c #Conflicts: 441000 | #Constraints: 36006
500.28/501.83 c #Conflicts: 442000 | #Constraints: 37006
500.28/501.83 c #Conflicts: 443000 | #Constraints: 38006
500.28/501.83 c #Conflicts: 444000 | #Constraints: 39006
500.28/501.83 c #Conflicts: 445000 | #Constraints: 40006
500.28/501.83 c INPROCESSING
500.28/501.83 c GARBAGE COLLECT
500.28/501.83 c rational objective 92
624.76/626.67 c #Conflicts: 446000 | #Constraints: 24348
624.76/626.67 c #Conflicts: 447000 | #Constraints: 25348
624.76/626.67 c #Conflicts: 448000 | #Constraints: 26348
624.76/626.67 c #Conflicts: 449000 | #Constraints: 27348
624.76/626.67 c #Conflicts: 450000 | #Constraints: 28348
624.76/626.67 c #Conflicts: 451000 | #Constraints: 29348
624.76/626.67 c #Conflicts: 452000 | #Constraints: 30348
624.76/626.67 c #Conflicts: 453000 | #Constraints: 31348
624.76/626.67 c #Conflicts: 454000 | #Constraints: 32348
624.76/626.67 c #Conflicts: 455000 | #Constraints: 33348
624.76/626.67 c #Conflicts: 456000 | #Constraints: 34348
624.76/626.67 c #Conflicts: 457000 | #Constraints: 35348
624.76/626.67 c #Conflicts: 458000 | #Constraints: 36348
624.76/626.67 c #Conflicts: 459000 | #Constraints: 37348
624.76/626.67 c #Conflicts: 460000 | #Constraints: 38348
624.76/626.67 c INPROCESSING
624.76/626.67 c GARBAGE COLLECT
624.76/626.67 c #Conflicts: 461000 | #Constraints: 23553
624.76/626.67 c #Conflicts: 462000 | #Constraints: 24553
624.76/626.67 c #Conflicts: 463000 | #Constraints: 25553
624.76/626.67 c #Conflicts: 464000 | #Constraints: 26553
624.76/626.67 c #Conflicts: 465000 | #Constraints: 27553
624.76/626.67 c #Conflicts: 466000 | #Constraints: 28553
624.76/626.67 c #Conflicts: 467000 | #Constraints: 29553
624.76/626.67 c #Conflicts: 468000 | #Constraints: 30553
624.76/626.67 c #Conflicts: 469000 | #Constraints: 31553
624.76/626.67 c #Conflicts: 470000 | #Constraints: 32553
624.76/626.67 c #Conflicts: 471000 | #Constraints: 33553
624.76/626.67 c #Conflicts: 472000 | #Constraints: 34553
624.76/626.67 c #Conflicts: 473000 | #Constraints: 35553
624.76/626.67 c #Conflicts: 474000 | #Constraints: 36553
624.76/626.67 c #Conflicts: 475000 | #Constraints: 37553
624.76/626.67 c #Conflicts: 476000 | #Constraints: 38553
624.76/626.67 c #Conflicts: 477000 | #Constraints: 39553
624.76/626.67 c #Conflicts: 478000 | #Constraints: 40553
624.76/626.67 c #Conflicts: 479000 | #Constraints: 41553
624.76/626.67 c #Conflicts: 480000 | #Constraints: 42553
624.76/626.67 c #Conflicts: 481000 | #Constraints: 43553
624.76/626.67 c #Conflicts: 482000 | #Constraints: 44553
624.76/626.67 c #Conflicts: 483000 | #Constraints: 45553
624.76/626.67 c #Conflicts: 484000 | #Constraints: 46553
624.76/626.67 c #Conflicts: 485000 | #Constraints: 47553
624.76/626.67 c #Conflicts: 486000 | #Constraints: 48553
624.76/626.67 c #Conflicts: 487000 | #Constraints: 49553
624.76/626.67 c #Conflicts: 488000 | #Constraints: 50553
624.76/626.67 c #Conflicts: 489000 | #Constraints: 51553
624.76/626.67 c #Conflicts: 490000 | #Constraints: 52553
624.76/626.67 c #Conflicts: 491000 | #Constraints: 53553
624.76/626.67 c #Conflicts: 492000 | #Constraints: 54553
624.76/626.67 c #Conflicts: 493000 | #Constraints: 55553
624.76/626.67 c #Conflicts: 494000 | #Constraints: 56553
624.76/626.67 c #Conflicts: 495000 | #Constraints: 57553
624.76/626.67 c #Conflicts: 496000 | #Constraints: 58553
624.76/626.67 c #Conflicts: 497000 | #Constraints: 59553
624.76/626.67 c #Conflicts: 498000 | #Constraints: 60553
624.76/626.67 c #Conflicts: 499000 | #Constraints: 61553
624.76/626.67 c #Conflicts: 500000 | #Constraints: 62553
624.76/626.67 c #Conflicts: 501000 | #Constraints: 63553
624.76/626.67 c #Conflicts: 502000 | #Constraints: 64553
624.76/626.67 c #Conflicts: 503000 | #Constraints: 65553
624.76/626.67 c #Conflicts: 504000 | #Constraints: 66553
624.76/626.67 c #Conflicts: 505000 | #Constraints: 67553
624.76/626.67 c #Conflicts: 506000 | #Constraints: 68553
624.76/626.67 c #Conflicts: 507000 | #Constraints: 69553
624.76/626.67 c #Conflicts: 508000 | #Constraints: 70553
624.76/626.67 c #Conflicts: 509000 | #Constraints: 71553
624.76/626.67 c #Conflicts: 510000 | #Constraints: 72553
624.76/626.67 c #Conflicts: 511000 | #Constraints: 73553
624.76/626.67 c #Conflicts: 512000 | #Constraints: 74553
624.76/626.67 c #Conflicts: 513000 | #Constraints: 75553
624.76/626.67 c #Conflicts: 514000 | #Constraints: 76553
624.76/626.67 c INPROCESSING
624.76/626.67 c GARBAGE COLLECT
624.76/626.67 c #Conflicts: 515000 | #Constraints: 42336
624.76/626.67 c #Conflicts: 516000 | #Constraints: 43336
624.76/626.67 c #Conflicts: 517000 | #Constraints: 44336
624.76/626.67 c #Conflicts: 518000 | #Constraints: 45336
624.76/626.67 c #Conflicts: 519000 | #Constraints: 46336
624.76/626.67 c #Conflicts: 520000 | #Constraints: 47336
624.76/626.67 c #Conflicts: 521000 | #Constraints: 48336
624.76/626.67 c #Conflicts: 522000 | #Constraints: 49336
624.76/626.67 c #Conflicts: 523000 | #Constraints: 50336
677.04/679.07 c #Conflicts: 524000 | #Constraints: 51336
677.04/679.07 c #Conflicts: 525000 | #Constraints: 52336
677.04/679.07 c #Conflicts: 526000 | #Constraints: 53336
677.04/679.07 c #Conflicts: 527000 | #Constraints: 54336
677.04/679.07 c #Conflicts: 528000 | #Constraints: 55336
677.04/679.07 c #Conflicts: 529000 | #Constraints: 56336
677.04/679.07 c #Conflicts: 530000 | #Constraints: 57336
677.04/679.07 c #Conflicts: 531000 | #Constraints: 58336
677.04/679.07 c INPROCESSING
677.04/679.07 c GARBAGE COLLECT
677.04/679.07 c #Conflicts: 532000 | #Constraints: 33665
677.04/679.07 c #Conflicts: 533000 | #Constraints: 34665
677.04/679.07 c #Conflicts: 534000 | #Constraints: 35665
677.04/679.07 c #Conflicts: 535000 | #Constraints: 36665
677.04/679.07 c #Conflicts: 536000 | #Constraints: 37665
677.04/679.07 c #Conflicts: 537000 | #Constraints: 38665
677.04/679.07 c #Conflicts: 538000 | #Constraints: 39665
677.04/679.07 c #Conflicts: 539000 | #Constraints: 40665
677.04/679.07 c #Conflicts: 540000 | #Constraints: 41665
677.04/679.07 c #Conflicts: 541000 | #Constraints: 42665
677.04/679.07 c #Conflicts: 542000 | #Constraints: 43665
677.04/679.08 c #Conflicts: 543000 | #Constraints: 44665
677.04/679.08 c #Conflicts: 544000 | #Constraints: 45665
677.04/679.08 c #Conflicts: 545000 | #Constraints: 46665
677.04/679.08 c #Conflicts: 546000 | #Constraints: 47665
677.04/679.08 c #Conflicts: 547000 | #Constraints: 48665
677.04/679.08 c INPROCESSING
677.04/679.08 c GARBAGE COLLECT
677.04/679.08 c #Conflicts: 548000 | #Constraints: 28590
677.04/679.08 c #Conflicts: 549000 | #Constraints: 29590
677.04/679.08 c #Conflicts: 550000 | #Constraints: 30590
677.04/679.08 c #Conflicts: 551000 | #Constraints: 31590
677.04/679.08 c #Conflicts: 552000 | #Constraints: 32590
677.04/679.08 c #Conflicts: 553000 | #Constraints: 33590
677.04/679.08 c #Conflicts: 554000 | #Constraints: 34590
677.04/679.08 c #Conflicts: 555000 | #Constraints: 35590
677.04/679.08 c #Conflicts: 556000 | #Constraints: 36590
677.04/679.08 c #Conflicts: 557000 | #Constraints: 37590
677.04/679.08 c #Conflicts: 558000 | #Constraints: 38590
677.04/679.08 c #Conflicts: 559000 | #Constraints: 39590
677.04/679.08 c #Conflicts: 560000 | #Constraints: 40590
677.04/679.08 c #Conflicts: 561000 | #Constraints: 41590
677.04/679.08 c #Conflicts: 562000 | #Constraints: 42590
677.04/679.08 c #Conflicts: 563000 | #Constraints: 43590
677.04/679.08 c #Conflicts: 564000 | #Constraints: 44590
677.04/679.08 c INPROCESSING
677.04/679.08 c GARBAGE COLLECT
677.04/679.08 c rational objective 92
702.47/704.59 c #Conflicts: 565000 | #Constraints: 26829
702.47/704.59 c #Conflicts: 566000 | #Constraints: 27829
702.47/704.59 c #Conflicts: 567000 | #Constraints: 28829
702.47/704.59 c #Conflicts: 568000 | #Constraints: 29829
702.47/704.59 c #Conflicts: 569000 | #Constraints: 30829
702.47/704.59 c #Conflicts: 570000 | #Constraints: 31829
702.47/704.59 c #Conflicts: 571000 | #Constraints: 32829
702.47/704.59 c #Conflicts: 572000 | #Constraints: 33829
702.47/704.59 c #Conflicts: 573000 | #Constraints: 34829
702.47/704.59 c #Conflicts: 574000 | #Constraints: 35829
702.47/704.59 c #Conflicts: 575000 | #Constraints: 36829
702.47/704.59 c #Conflicts: 576000 | #Constraints: 37829
702.47/704.59 c #Conflicts: 577000 | #Constraints: 38829
702.47/704.59 c #Conflicts: 578000 | #Constraints: 39829
702.47/704.59 c #Conflicts: 579000 | #Constraints: 40829
702.47/704.59 c #Conflicts: 580000 | #Constraints: 41829
702.47/704.59 c INPROCESSING
702.47/704.59 c GARBAGE COLLECT
702.47/704.59 c rational objective 92
859.15/861.69 c #Conflicts: 581000 | #Constraints: 25021
859.15/861.69 c #Conflicts: 582000 | #Constraints: 26021
859.15/861.69 c #Conflicts: 583000 | #Constraints: 27021
859.15/861.69 c #Conflicts: 584000 | #Constraints: 28021
859.15/861.69 c #Conflicts: 585000 | #Constraints: 29021
859.15/861.69 c #Conflicts: 586000 | #Constraints: 30021
859.15/861.69 c #Conflicts: 587000 | #Constraints: 31021
859.15/861.69 c #Conflicts: 588000 | #Constraints: 32021
859.15/861.69 c #Conflicts: 589000 | #Constraints: 33021
859.15/861.69 c #Conflicts: 590000 | #Constraints: 34021
859.15/861.69 c #Conflicts: 591000 | #Constraints: 35021
859.15/861.69 c #Conflicts: 592000 | #Constraints: 36021
859.15/861.69 c #Conflicts: 593000 | #Constraints: 37021
859.15/861.69 c #Conflicts: 594000 | #Constraints: 38021
859.15/861.69 c #Conflicts: 595000 | #Constraints: 39021
859.15/861.69 c #Conflicts: 596000 | #Constraints: 40021
859.15/861.69 c #Conflicts: 597000 | #Constraints: 41021
859.15/861.69 c #Conflicts: 598000 | #Constraints: 42021
859.15/861.69 c #Conflicts: 599000 | #Constraints: 43021
859.15/861.69 c #Conflicts: 600000 | #Constraints: 44021
859.15/861.69 c #Conflicts: 601000 | #Constraints: 45021
859.15/861.69 c #Conflicts: 602000 | #Constraints: 46022
859.15/861.69 c #Conflicts: 603000 | #Constraints: 47022
859.15/861.69 c #Conflicts: 604000 | #Constraints: 48022
859.15/861.69 c #Conflicts: 605000 | #Constraints: 49022
859.15/861.69 c #Conflicts: 606000 | #Constraints: 50022
859.15/861.69 c #Conflicts: 607000 | #Constraints: 51022
859.15/861.69 c #Conflicts: 608000 | #Constraints: 52022
859.15/861.69 c #Conflicts: 609000 | #Constraints: 53022
859.15/861.69 c #Conflicts: 610000 | #Constraints: 54022
859.15/861.69 c #Conflicts: 611000 | #Constraints: 55022
859.15/861.69 c #Conflicts: 612000 | #Constraints: 56022
859.15/861.69 c #Conflicts: 613000 | #Constraints: 57022
859.15/861.69 c #Conflicts: 614000 | #Constraints: 58022
859.15/861.69 c #Conflicts: 615000 | #Constraints: 59022
859.15/861.69 c #Conflicts: 616000 | #Constraints: 60022
859.15/861.69 c #Conflicts: 617000 | #Constraints: 61022
859.15/861.69 c #Conflicts: 618000 | #Constraints: 62022
859.15/861.69 c #Conflicts: 619000 | #Constraints: 63022
859.15/861.69 c #Conflicts: 620000 | #Constraints: 64022
859.15/861.69 c #Conflicts: 621000 | #Constraints: 65022
859.15/861.69 c #Conflicts: 622000 | #Constraints: 66022
859.15/861.69 c #Conflicts: 623000 | #Constraints: 67022
859.15/861.69 c #Conflicts: 624000 | #Constraints: 68022
859.15/861.69 c #Conflicts: 625000 | #Constraints: 69022
859.15/861.69 c #Conflicts: 626000 | #Constraints: 70022
859.15/861.69 c #Conflicts: 627000 | #Constraints: 71022
859.15/861.69 c #Conflicts: 628000 | #Constraints: 72022
859.15/861.69 c #Conflicts: 629000 | #Constraints: 73022
859.15/861.69 c #Conflicts: 630000 | #Constraints: 74022
859.15/861.69 c #Conflicts: 631000 | #Constraints: 75022
859.15/861.69 c #Conflicts: 632000 | #Constraints: 76022
859.15/861.69 c #Conflicts: 633000 | #Constraints: 77022
859.15/861.69 c #Conflicts: 634000 | #Constraints: 78022
859.15/861.69 c #Conflicts: 635000 | #Constraints: 79022
859.15/861.69 c #Conflicts: 636000 | #Constraints: 80022
859.15/861.69 c #Conflicts: 637000 | #Constraints: 81022
859.15/861.69 c #Conflicts: 638000 | #Constraints: 82022
859.15/861.69 c #Conflicts: 639000 | #Constraints: 83022
859.15/861.69 c #Conflicts: 640000 | #Constraints: 84022
859.15/861.69 c #Conflicts: 641000 | #Constraints: 85022
859.15/861.69 c INPROCESSING
859.15/861.69 c GARBAGE COLLECT
859.15/861.69 c #Conflicts: 642000 | #Constraints: 46557
859.15/861.69 c #Conflicts: 643000 | #Constraints: 47557
859.15/861.69 c #Conflicts: 644000 | #Constraints: 48557
859.15/861.69 c #Conflicts: 645000 | #Constraints: 49557
859.15/861.69 c #Conflicts: 646000 | #Constraints: 50557
859.15/861.69 c #Conflicts: 647000 | #Constraints: 51557
859.15/861.69 c #Conflicts: 648000 | #Constraints: 52557
859.15/861.69 c #Conflicts: 649000 | #Constraints: 53557
859.15/861.69 c #Conflicts: 650000 | #Constraints: 54557
859.15/861.69 c #Conflicts: 651000 | #Constraints: 55557
859.15/861.69 c #Conflicts: 652000 | #Constraints: 56557
859.15/861.69 c #Conflicts: 653000 | #Constraints: 57557
859.15/861.69 c #Conflicts: 654000 | #Constraints: 58557
859.15/861.69 c #Conflicts: 655000 | #Constraints: 59557
859.15/861.69 c #Conflicts: 656000 | #Constraints: 60557
859.15/861.69 c #Conflicts: 657000 | #Constraints: 61557
859.15/861.69 c #Conflicts: 658000 | #Constraints: 62557
859.15/861.69 c #Conflicts: 659000 | #Constraints: 63557
967.07/969.88 c #Conflicts: 660000 | #Constraints: 64557
967.07/969.88 c INPROCESSING
967.07/969.88 c GARBAGE COLLECT
967.07/969.88 c #Conflicts: 661000 | #Constraints: 36786
967.07/969.88 c #Conflicts: 662000 | #Constraints: 37786
967.07/969.88 c #Conflicts: 663000 | #Constraints: 38786
967.07/969.88 c #Conflicts: 664000 | #Constraints: 39786
967.07/969.88 c #Conflicts: 665000 | #Constraints: 40786
967.07/969.88 c #Conflicts: 666000 | #Constraints: 41786
967.07/969.88 c #Conflicts: 667000 | #Constraints: 42786
967.07/969.88 c #Conflicts: 668000 | #Constraints: 43786
967.07/969.88 c #Conflicts: 669000 | #Constraints: 44786
967.07/969.88 c #Conflicts: 670000 | #Constraints: 45786
967.07/969.88 c #Conflicts: 671000 | #Constraints: 46786
967.07/969.88 c #Conflicts: 672000 | #Constraints: 47786
967.07/969.88 c #Conflicts: 673000 | #Constraints: 48786
967.07/969.88 c #Conflicts: 674000 | #Constraints: 49786
967.07/969.88 c #Conflicts: 675000 | #Constraints: 50786
967.07/969.88 c #Conflicts: 676000 | #Constraints: 51786
967.07/969.88 c #Conflicts: 677000 | #Constraints: 52786
967.07/969.88 c #Conflicts: 678000 | #Constraints: 53786
967.07/969.88 c INPROCESSING
967.07/969.88 c GARBAGE COLLECT
967.07/969.88 c #Conflicts: 679000 | #Constraints: 31278
967.07/969.88 c #Conflicts: 680000 | #Constraints: 32278
967.07/969.88 c #Conflicts: 681000 | #Constraints: 33278
967.07/969.88 c #Conflicts: 682000 | #Constraints: 34278
967.07/969.88 c #Conflicts: 683000 | #Constraints: 35278
967.07/969.88 c #Conflicts: 684000 | #Constraints: 36278
967.07/969.88 c #Conflicts: 685000 | #Constraints: 37278
967.07/969.88 c #Conflicts: 686000 | #Constraints: 38278
967.07/969.88 c #Conflicts: 687000 | #Constraints: 39278
967.07/969.88 c #Conflicts: 688000 | #Constraints: 40278
967.07/969.88 c #Conflicts: 689000 | #Constraints: 41278
967.07/969.88 c #Conflicts: 690000 | #Constraints: 42278
967.07/969.88 c #Conflicts: 691000 | #Constraints: 43278
967.07/969.88 c #Conflicts: 692000 | #Constraints: 44278
967.07/969.88 c #Conflicts: 693000 | #Constraints: 45278
967.07/969.88 c #Conflicts: 694000 | #Constraints: 46278
967.07/969.88 c #Conflicts: 695000 | #Constraints: 47278
967.07/969.88 c #Conflicts: 696000 | #Constraints: 48278
967.07/969.88 c INPROCESSING
967.07/969.88 c GARBAGE COLLECT
967.07/969.88 c #Conflicts: 697000 | #Constraints: 28260
967.07/969.88 c #Conflicts: 698000 | #Constraints: 29260
967.07/969.88 c #Conflicts: 699000 | #Constraints: 30260
967.07/969.88 c #Conflicts: 700000 | #Constraints: 31260
967.07/969.88 c #Conflicts: 701000 | #Constraints: 32260
967.07/969.88 c #Conflicts: 702000 | #Constraints: 33260
967.07/969.88 c #Conflicts: 703000 | #Constraints: 34260
967.07/969.88 c #Conflicts: 704000 | #Constraints: 35260
967.07/969.88 c #Conflicts: 705000 | #Constraints: 36260
967.07/969.88 c #Conflicts: 706000 | #Constraints: 37260
967.07/969.88 c #Conflicts: 707000 | #Constraints: 38260
967.07/969.88 c #Conflicts: 708000 | #Constraints: 39260
967.07/969.88 c #Conflicts: 709000 | #Constraints: 40260
967.07/969.88 c #Conflicts: 710000 | #Constraints: 41260
967.07/969.88 c #Conflicts: 711000 | #Constraints: 42260
967.07/969.88 c #Conflicts: 712000 | #Constraints: 43260
967.07/969.88 c #Conflicts: 713000 | #Constraints: 44260
967.07/969.88 c #Conflicts: 714000 | #Constraints: 45260
967.07/969.88 c #Conflicts: 715000 | #Constraints: 46260
967.07/969.88 c INPROCESSING
967.07/969.88 c GARBAGE COLLECT
967.07/969.88 c #Conflicts: 716000 | #Constraints: 27446
967.07/969.88 c #Conflicts: 717000 | #Constraints: 28446
967.07/969.88 c #Conflicts: 718000 | #Constraints: 29446
967.07/969.88 c #Conflicts: 719000 | #Constraints: 30446
967.07/969.88 c #Conflicts: 720000 | #Constraints: 31446
967.07/969.88 c #Conflicts: 721000 | #Constraints: 32446
967.07/969.88 c #Conflicts: 722000 | #Constraints: 33446
967.07/969.88 c #Conflicts: 723000 | #Constraints: 34446
967.07/969.88 c #Conflicts: 724000 | #Constraints: 35446
967.07/969.88 c #Conflicts: 725000 | #Constraints: 36446
967.07/969.88 c #Conflicts: 726000 | #Constraints: 37446
967.07/969.88 c #Conflicts: 727000 | #Constraints: 38446
967.07/969.88 c #Conflicts: 728000 | #Constraints: 39446
967.07/969.88 c #Conflicts: 729000 | #Constraints: 40446
967.07/969.88 c #Conflicts: 730000 | #Constraints: 41446
967.07/969.88 c #Conflicts: 731000 | #Constraints: 42446
967.07/969.88 c #Conflicts: 732000 | #Constraints: 43446
967.07/969.88 c #Conflicts: 733000 | #Constraints: 44446
967.07/969.88 c #Conflicts: 734000 | #Constraints: 45446
967.07/969.88 c #Conflicts: 735000 | #Constraints: 46446
1133.54/1136.78 c #Conflicts: 736000 | #Constraints: 47446
1133.54/1136.78 c #Conflicts: 737000 | #Constraints: 48446
1133.54/1136.78 c #Conflicts: 738000 | #Constraints: 49446
1133.54/1136.78 c #Conflicts: 739000 | #Constraints: 50446
1133.54/1136.78 c #Conflicts: 740000 | #Constraints: 51446
1133.54/1136.78 c #Conflicts: 741000 | #Constraints: 52446
1133.54/1136.78 c #Conflicts: 742000 | #Constraints: 53446
1133.54/1136.78 c #Conflicts: 743000 | #Constraints: 54446
1133.54/1136.78 c #Conflicts: 744000 | #Constraints: 55446
1133.54/1136.78 c #Conflicts: 745000 | #Constraints: 56446
1133.54/1136.78 c #Conflicts: 746000 | #Constraints: 57446
1133.54/1136.78 c #Conflicts: 747000 | #Constraints: 58446
1133.54/1136.78 c #Conflicts: 748000 | #Constraints: 59446
1133.54/1136.78 c #Conflicts: 749000 | #Constraints: 60446
1133.54/1136.78 c #Conflicts: 750000 | #Constraints: 61446
1133.54/1136.78 c #Conflicts: 751000 | #Constraints: 62446
1133.54/1136.78 c #Conflicts: 752000 | #Constraints: 63446
1133.54/1136.78 c #Conflicts: 753000 | #Constraints: 64446
1133.54/1136.78 c #Conflicts: 754000 | #Constraints: 65446
1133.54/1136.78 c #Conflicts: 755000 | #Constraints: 66446
1133.54/1136.78 c #Conflicts: 756000 | #Constraints: 67446
1133.54/1136.78 c #Conflicts: 757000 | #Constraints: 68446
1133.54/1136.78 c #Conflicts: 758000 | #Constraints: 69446
1133.54/1136.78 c #Conflicts: 759000 | #Constraints: 70446
1133.54/1136.78 c #Conflicts: 760000 | #Constraints: 71446
1133.54/1136.78 c #Conflicts: 761000 | #Constraints: 72446
1133.54/1136.78 c #Conflicts: 762000 | #Constraints: 73446
1133.54/1136.78 c #Conflicts: 763000 | #Constraints: 74446
1133.54/1136.78 c #Conflicts: 764000 | #Constraints: 75446
1133.54/1136.78 c #Conflicts: 765000 | #Constraints: 76446
1133.54/1136.78 c #Conflicts: 766000 | #Constraints: 77446
1133.54/1136.78 c #Conflicts: 767000 | #Constraints: 78446
1133.54/1136.78 c #Conflicts: 768000 | #Constraints: 79446
1133.54/1136.78 c #Conflicts: 769000 | #Constraints: 80446
1133.54/1136.78 c #Conflicts: 770000 | #Constraints: 81446
1133.54/1136.78 c #Conflicts: 771000 | #Constraints: 82446
1133.54/1136.78 c #Conflicts: 772000 | #Constraints: 83446
1133.54/1136.78 c #Conflicts: 773000 | #Constraints: 84446
1133.54/1136.78 c #Conflicts: 774000 | #Constraints: 85446
1133.54/1136.78 c #Conflicts: 775000 | #Constraints: 86446
1133.54/1136.78 c #Conflicts: 776000 | #Constraints: 87446
1133.54/1136.78 c #Conflicts: 777000 | #Constraints: 88446
1133.54/1136.78 c #Conflicts: 778000 | #Constraints: 89447
1133.54/1136.78 c #Conflicts: 779000 | #Constraints: 90447
1133.54/1136.78 c #Conflicts: 780000 | #Constraints: 91447
1133.54/1136.78 c #Conflicts: 781000 | #Constraints: 92447
1133.54/1136.78 c #Conflicts: 782000 | #Constraints: 93447
1133.54/1136.78 c #Conflicts: 783000 | #Constraints: 94447
1133.54/1136.78 c INPROCESSING
1133.54/1136.78 c GARBAGE COLLECT
1133.54/1136.78 c #Conflicts: 784000 | #Constraints: 51814
1133.54/1136.78 c #Conflicts: 785000 | #Constraints: 52814
1133.54/1136.78 c #Conflicts: 786000 | #Constraints: 53814
1133.54/1136.78 c #Conflicts: 787000 | #Constraints: 54814
1133.54/1136.78 c #Conflicts: 788000 | #Constraints: 55814
1133.54/1136.78 c #Conflicts: 789000 | #Constraints: 56814
1133.54/1136.78 c #Conflicts: 790000 | #Constraints: 57814
1133.54/1136.78 c #Conflicts: 791000 | #Constraints: 58814
1133.54/1136.78 c #Conflicts: 792000 | #Constraints: 59814
1133.54/1136.78 c #Conflicts: 793000 | #Constraints: 60814
1133.54/1136.78 c #Conflicts: 794000 | #Constraints: 61814
1133.54/1136.78 c #Conflicts: 795000 | #Constraints: 62814
1133.54/1136.78 c #Conflicts: 796000 | #Constraints: 63814
1133.54/1136.78 c #Conflicts: 797000 | #Constraints: 64814
1133.54/1136.78 c #Conflicts: 798000 | #Constraints: 65814
1133.54/1136.78 c #Conflicts: 799000 | #Constraints: 66814
1133.54/1136.78 c #Conflicts: 800000 | #Constraints: 67814
1133.54/1136.78 c #Conflicts: 801000 | #Constraints: 68814
1133.54/1136.78 c #Conflicts: 802000 | #Constraints: 69814
1133.54/1136.78 c #Conflicts: 803000 | #Constraints: 70814
1133.54/1136.78 c INPROCESSING
1133.54/1136.78 c GARBAGE COLLECT
1133.54/1136.78 c #Conflicts: 804000 | #Constraints: 39880
1133.54/1136.78 c #Conflicts: 805000 | #Constraints: 40880
1133.54/1136.78 c #Conflicts: 806000 | #Constraints: 41880
1133.54/1136.78 c #Conflicts: 807000 | #Constraints: 42880
1133.54/1136.78 c #Conflicts: 808000 | #Constraints: 43880
1133.54/1136.78 c #Conflicts: 809000 | #Constraints: 44880
1133.54/1136.78 c #Conflicts: 810000 | #Constraints: 45880
1133.54/1136.78 c #Conflicts: 811000 | #Constraints: 46880
1133.54/1136.78 c #Conflicts: 812000 | #Constraints: 47880
1214.83/1218.21 c #Conflicts: 813000 | #Constraints: 48880
1214.83/1218.21 c #Conflicts: 814000 | #Constraints: 49880
1214.83/1218.21 c #Conflicts: 815000 | #Constraints: 50880
1214.83/1218.21 c #Conflicts: 816000 | #Constraints: 51880
1214.83/1218.21 c #Conflicts: 817000 | #Constraints: 52880
1214.83/1218.21 c #Conflicts: 818000 | #Constraints: 53880
1214.83/1218.21 c #Conflicts: 819000 | #Constraints: 54880
1214.83/1218.21 c #Conflicts: 820000 | #Constraints: 55880
1214.83/1218.21 c #Conflicts: 821000 | #Constraints: 56880
1214.83/1218.21 c #Conflicts: 822000 | #Constraints: 57880
1214.83/1218.21 c #Conflicts: 823000 | #Constraints: 58880
1214.83/1218.21 c INPROCESSING
1214.83/1218.21 c GARBAGE COLLECT
1214.83/1218.21 c #Conflicts: 824000 | #Constraints: 33919
1214.83/1218.21 c #Conflicts: 825000 | #Constraints: 34919
1214.83/1218.21 c #Conflicts: 826000 | #Constraints: 35919
1214.83/1218.21 c #Conflicts: 827000 | #Constraints: 36919
1214.83/1218.21 c #Conflicts: 828000 | #Constraints: 37919
1214.83/1218.21 c #Conflicts: 829000 | #Constraints: 38919
1214.83/1218.21 c #Conflicts: 830000 | #Constraints: 39919
1214.83/1218.21 c #Conflicts: 831000 | #Constraints: 40919
1214.83/1218.21 c #Conflicts: 832000 | #Constraints: 41919
1214.83/1218.21 c #Conflicts: 833000 | #Constraints: 42919
1214.83/1218.21 c #Conflicts: 834000 | #Constraints: 43919
1214.83/1218.21 c #Conflicts: 835000 | #Constraints: 44919
1214.83/1218.21 c #Conflicts: 836000 | #Constraints: 45919
1214.83/1218.21 c #Conflicts: 837000 | #Constraints: 46919
1214.83/1218.21 c #Conflicts: 838000 | #Constraints: 47919
1214.83/1218.21 c #Conflicts: 839000 | #Constraints: 48919
1214.83/1218.21 c #Conflicts: 840000 | #Constraints: 49919
1214.83/1218.21 c #Conflicts: 841000 | #Constraints: 50919
1214.83/1218.21 c #Conflicts: 842000 | #Constraints: 51919
1214.83/1218.21 c #Conflicts: 843000 | #Constraints: 52919
1214.83/1218.21 c INPROCESSING
1214.83/1218.21 c GARBAGE COLLECT
1214.83/1218.21 c #Conflicts: 844000 | #Constraints: 30776
1214.83/1218.21 c #Conflicts: 845000 | #Constraints: 31776
1214.83/1218.21 c #Conflicts: 846000 | #Constraints: 32776
1214.83/1218.21 c #Conflicts: 847000 | #Constraints: 33776
1214.83/1218.21 c #Conflicts: 848000 | #Constraints: 34776
1214.83/1218.21 c #Conflicts: 849000 | #Constraints: 35776
1214.83/1218.21 c #Conflicts: 850000 | #Constraints: 36776
1214.83/1218.21 c #Conflicts: 851000 | #Constraints: 37776
1214.83/1218.21 c #Conflicts: 852000 | #Constraints: 38776
1214.83/1218.21 c #Conflicts: 853000 | #Constraints: 39776
1214.83/1218.21 c #Conflicts: 854000 | #Constraints: 40776
1214.83/1218.21 c #Conflicts: 855000 | #Constraints: 41776
1214.83/1218.21 c #Conflicts: 856000 | #Constraints: 42776
1214.83/1218.21 c #Conflicts: 857000 | #Constraints: 43776
1214.83/1218.21 c #Conflicts: 858000 | #Constraints: 44776
1214.83/1218.21 c #Conflicts: 859000 | #Constraints: 45776
1214.83/1218.21 c #Conflicts: 860000 | #Constraints: 46776
1214.83/1218.21 c #Conflicts: 861000 | #Constraints: 47776
1214.83/1218.21 c #Conflicts: 862000 | #Constraints: 48776
1214.83/1218.21 c #Conflicts: 863000 | #Constraints: 49776
1214.83/1218.21 c #Conflicts: 864000 | #Constraints: 50776
1214.83/1218.21 c INPROCESSING
1214.83/1218.21 c GARBAGE COLLECT
1214.83/1218.21 c rational objective 92
1245.35/1248.82 c #Conflicts: 865000 | #Constraints: 29796
1245.35/1248.82 c #Conflicts: 866000 | #Constraints: 30796
1245.35/1248.82 c #Conflicts: 867000 | #Constraints: 31796
1245.35/1248.82 c #Conflicts: 868000 | #Constraints: 32796
1245.35/1248.82 c #Conflicts: 869000 | #Constraints: 33796
1245.35/1248.82 c #Conflicts: 870000 | #Constraints: 34796
1245.35/1248.82 c #Conflicts: 871000 | #Constraints: 35796
1245.35/1248.82 c #Conflicts: 872000 | #Constraints: 36796
1245.35/1248.82 c #Conflicts: 873000 | #Constraints: 37796
1245.35/1248.82 c #Conflicts: 874000 | #Constraints: 38796
1245.35/1248.82 c #Conflicts: 875000 | #Constraints: 39796
1245.35/1248.82 c #Conflicts: 876000 | #Constraints: 40796
1245.35/1248.82 c #Conflicts: 877000 | #Constraints: 41796
1245.35/1248.82 c #Conflicts: 878000 | #Constraints: 42796
1245.35/1248.82 c #Conflicts: 879000 | #Constraints: 43796
1245.35/1248.82 c #Conflicts: 880000 | #Constraints: 44796
1245.35/1248.82 c #Conflicts: 881000 | #Constraints: 45796
1245.35/1248.82 c #Conflicts: 882000 | #Constraints: 46796
1245.35/1248.82 c #Conflicts: 883000 | #Constraints: 47796
1245.35/1248.82 c #Conflicts: 884000 | #Constraints: 48796
1245.35/1248.82 c #Conflicts: 885000 | #Constraints: 49796
1245.35/1248.82 c INPROCESSING
1245.35/1248.82 c GARBAGE COLLECT
1245.35/1248.82 c rational objective 92
1450.44/1454.46 c #Conflicts: 886000 | #Constraints: 29451
1450.44/1454.46 c #Conflicts: 887000 | #Constraints: 30451
1450.44/1454.46 c #Conflicts: 888000 | #Constraints: 31451
1450.44/1454.46 c #Conflicts: 889000 | #Constraints: 32451
1450.44/1454.46 c #Conflicts: 890000 | #Constraints: 33451
1450.44/1454.46 c #Conflicts: 891000 | #Constraints: 34451
1450.44/1454.46 c #Conflicts: 892000 | #Constraints: 35451
1450.44/1454.46 c #Conflicts: 893000 | #Constraints: 36451
1450.44/1454.46 c #Conflicts: 894000 | #Constraints: 37451
1450.44/1454.46 c #Conflicts: 895000 | #Constraints: 38451
1450.44/1454.46 c #Conflicts: 896000 | #Constraints: 39451
1450.44/1454.46 c #Conflicts: 897000 | #Constraints: 40451
1450.44/1454.46 c #Conflicts: 898000 | #Constraints: 41451
1450.44/1454.46 c #Conflicts: 899000 | #Constraints: 42451
1450.44/1454.46 c #Conflicts: 900000 | #Constraints: 43451
1450.44/1454.46 c #Conflicts: 901000 | #Constraints: 44451
1450.44/1454.46 c #Conflicts: 902000 | #Constraints: 45451
1450.44/1454.46 c #Conflicts: 903000 | #Constraints: 46451
1450.44/1454.46 c #Conflicts: 904000 | #Constraints: 47451
1450.44/1454.46 c #Conflicts: 905000 | #Constraints: 48451
1450.44/1454.46 c #Conflicts: 906000 | #Constraints: 49451
1450.44/1454.46 c #Conflicts: 907000 | #Constraints: 50451
1450.44/1454.46 c #Conflicts: 908000 | #Constraints: 51451
1450.44/1454.46 c #Conflicts: 909000 | #Constraints: 52451
1450.44/1454.46 c #Conflicts: 910000 | #Constraints: 53451
1450.44/1454.46 c #Conflicts: 911000 | #Constraints: 54451
1450.44/1454.46 c #Conflicts: 912000 | #Constraints: 55451
1450.44/1454.46 c #Conflicts: 913000 | #Constraints: 56451
1450.44/1454.46 c #Conflicts: 914000 | #Constraints: 57451
1450.44/1454.46 c #Conflicts: 915000 | #Constraints: 58451
1450.44/1454.46 c #Conflicts: 916000 | #Constraints: 59451
1450.44/1454.46 c #Conflicts: 917000 | #Constraints: 60451
1450.44/1454.46 c #Conflicts: 918000 | #Constraints: 61451
1450.44/1454.46 c #Conflicts: 919000 | #Constraints: 62451
1450.44/1454.46 c #Conflicts: 920000 | #Constraints: 63451
1450.44/1454.46 c #Conflicts: 921000 | #Constraints: 64451
1450.44/1454.46 c #Conflicts: 922000 | #Constraints: 65451
1450.44/1454.46 c #Conflicts: 923000 | #Constraints: 66451
1450.44/1454.46 c #Conflicts: 924000 | #Constraints: 67451
1450.44/1454.46 c #Conflicts: 925000 | #Constraints: 68451
1450.44/1454.46 c #Conflicts: 926000 | #Constraints: 69451
1450.44/1454.46 c #Conflicts: 927000 | #Constraints: 70451
1450.44/1454.46 c #Conflicts: 928000 | #Constraints: 71451
1450.44/1454.46 c #Conflicts: 929000 | #Constraints: 72451
1450.44/1454.46 c #Conflicts: 930000 | #Constraints: 73451
1450.44/1454.46 c #Conflicts: 931000 | #Constraints: 74451
1450.44/1454.46 c #Conflicts: 932000 | #Constraints: 75451
1450.44/1454.46 c #Conflicts: 933000 | #Constraints: 76451
1450.44/1454.46 c #Conflicts: 934000 | #Constraints: 77451
1450.44/1454.46 c #Conflicts: 935000 | #Constraints: 78451
1450.44/1454.46 c #Conflicts: 936000 | #Constraints: 79451
1450.44/1454.46 c #Conflicts: 937000 | #Constraints: 80451
1450.44/1454.46 c #Conflicts: 938000 | #Constraints: 81451
1450.44/1454.46 c #Conflicts: 939000 | #Constraints: 82451
1450.44/1454.46 c #Conflicts: 940000 | #Constraints: 83451
1450.44/1454.46 c #Conflicts: 941000 | #Constraints: 84451
1450.44/1454.46 c #Conflicts: 942000 | #Constraints: 85451
1450.44/1454.46 c #Conflicts: 943000 | #Constraints: 86451
1450.44/1454.46 c #Conflicts: 944000 | #Constraints: 87451
1450.44/1454.46 c #Conflicts: 945000 | #Constraints: 88451
1450.44/1454.46 c #Conflicts: 946000 | #Constraints: 89451
1450.44/1454.46 c #Conflicts: 947000 | #Constraints: 90451
1450.44/1454.46 c #Conflicts: 948000 | #Constraints: 91451
1450.44/1454.46 c #Conflicts: 949000 | #Constraints: 92451
1450.44/1454.46 c #Conflicts: 950000 | #Constraints: 93451
1450.44/1454.46 c #Conflicts: 951000 | #Constraints: 94451
1450.44/1454.46 c #Conflicts: 952000 | #Constraints: 95451
1450.44/1454.46 c #Conflicts: 953000 | #Constraints: 96451
1450.44/1454.46 c #Conflicts: 954000 | #Constraints: 97451
1450.44/1454.46 c #Conflicts: 955000 | #Constraints: 98451
1450.44/1454.46 c #Conflicts: 956000 | #Constraints: 99451
1450.44/1454.46 c #Conflicts: 957000 | #Constraints: 100451
1450.44/1454.46 c #Conflicts: 958000 | #Constraints: 101451
1450.44/1454.46 c #Conflicts: 959000 | #Constraints: 102451
1450.44/1454.46 c #Conflicts: 960000 | #Constraints: 103451
1450.44/1454.46 c INPROCESSING
1450.44/1454.46 c GARBAGE COLLECT
1450.44/1454.46 c #Conflicts: 961000 | #Constraints: 56318
1450.44/1454.46 c #Conflicts: 962000 | #Constraints: 57318
1450.44/1454.46 c #Conflicts: 963000 | #Constraints: 58318
1450.44/1454.46 c #Conflicts: 964000 | #Constraints: 59318
1572.93/1577.28 c #Conflicts: 965000 | #Constraints: 60318
1572.93/1577.28 c #Conflicts: 966000 | #Constraints: 61318
1572.93/1577.28 c #Conflicts: 967000 | #Constraints: 62318
1572.93/1577.28 c #Conflicts: 968000 | #Constraints: 63318
1572.93/1577.28 c #Conflicts: 969000 | #Constraints: 64318
1572.93/1577.28 c #Conflicts: 970000 | #Constraints: 65318
1572.93/1577.28 c #Conflicts: 971000 | #Constraints: 66318
1572.93/1577.28 c #Conflicts: 972000 | #Constraints: 67318
1572.93/1577.28 c #Conflicts: 973000 | #Constraints: 68318
1572.93/1577.28 c #Conflicts: 974000 | #Constraints: 69318
1572.93/1577.28 c #Conflicts: 975000 | #Constraints: 70318
1572.93/1577.28 c #Conflicts: 976000 | #Constraints: 71318
1572.93/1577.28 c #Conflicts: 977000 | #Constraints: 72318
1572.93/1577.28 c #Conflicts: 978000 | #Constraints: 73318
1572.93/1577.28 c #Conflicts: 979000 | #Constraints: 74318
1572.93/1577.28 c #Conflicts: 980000 | #Constraints: 75318
1572.93/1577.28 c #Conflicts: 981000 | #Constraints: 76318
1572.93/1577.28 c #Conflicts: 982000 | #Constraints: 77318
1572.93/1577.28 c INPROCESSING
1572.93/1577.28 c GARBAGE COLLECT
1572.93/1577.28 c #Conflicts: 983000 | #Constraints: 43194
1572.93/1577.28 c #Conflicts: 984000 | #Constraints: 44194
1572.93/1577.28 c #Conflicts: 985000 | #Constraints: 45194
1572.93/1577.28 c #Conflicts: 986000 | #Constraints: 46194
1572.93/1577.28 c #Conflicts: 987000 | #Constraints: 47194
1572.93/1577.28 c #Conflicts: 988000 | #Constraints: 48194
1572.93/1577.28 c #Conflicts: 989000 | #Constraints: 49194
1572.93/1577.28 c #Conflicts: 990000 | #Constraints: 50194
1572.93/1577.28 c #Conflicts: 991000 | #Constraints: 51194
1572.93/1577.28 c #Conflicts: 992000 | #Constraints: 52194
1572.93/1577.28 c #Conflicts: 993000 | #Constraints: 53194
1572.93/1577.28 c #Conflicts: 994000 | #Constraints: 54194
1572.93/1577.28 c #Conflicts: 995000 | #Constraints: 55194
1572.93/1577.28 c #Conflicts: 996000 | #Constraints: 56194
1572.93/1577.28 c #Conflicts: 997000 | #Constraints: 57194
1572.93/1577.28 c #Conflicts: 998000 | #Constraints: 58194
1572.93/1577.28 c #Conflicts: 999000 | #Constraints: 59194
1572.93/1577.28 c #Conflicts: 1000000 | #Constraints: 60194
1572.93/1577.28 c #Conflicts: 1001000 | #Constraints: 61194
1572.93/1577.28 c #Conflicts: 1002000 | #Constraints: 62194
1572.93/1577.28 c #Conflicts: 1003000 | #Constraints: 63194
1572.93/1577.28 c #Conflicts: 1004000 | #Constraints: 64194
1572.93/1577.28 c INPROCESSING
1572.93/1577.28 c GARBAGE COLLECT
1572.93/1577.28 c #Conflicts: 1005000 | #Constraints: 36536
1572.93/1577.28 c #Conflicts: 1006000 | #Constraints: 37536
1572.93/1577.28 c #Conflicts: 1007000 | #Constraints: 38536
1572.93/1577.28 c #Conflicts: 1008000 | #Constraints: 39536
1572.93/1577.28 c #Conflicts: 1009000 | #Constraints: 40536
1572.93/1577.28 c #Conflicts: 1010000 | #Constraints: 41536
1572.93/1577.28 c #Conflicts: 1011000 | #Constraints: 42536
1572.93/1577.28 c #Conflicts: 1012000 | #Constraints: 43536
1572.93/1577.28 c #Conflicts: 1013000 | #Constraints: 44536
1572.93/1577.28 c #Conflicts: 1014000 | #Constraints: 45536
1572.93/1577.28 c #Conflicts: 1015000 | #Constraints: 46536
1572.93/1577.28 c #Conflicts: 1016000 | #Constraints: 47536
1572.93/1577.28 c #Conflicts: 1017000 | #Constraints: 48536
1572.93/1577.28 c #Conflicts: 1018000 | #Constraints: 49536
1572.93/1577.28 c #Conflicts: 1019000 | #Constraints: 50536
1572.93/1577.28 c #Conflicts: 1020000 | #Constraints: 51536
1572.93/1577.28 c #Conflicts: 1021000 | #Constraints: 52536
1572.93/1577.28 c #Conflicts: 1022000 | #Constraints: 53536
1572.93/1577.28 c #Conflicts: 1023000 | #Constraints: 54536
1572.93/1577.28 c #Conflicts: 1024000 | #Constraints: 55536
1572.93/1577.28 c #Conflicts: 1025000 | #Constraints: 56536
1572.93/1577.28 c #Conflicts: 1026000 | #Constraints: 57536
1572.93/1577.28 c INPROCESSING
1572.93/1577.28 c GARBAGE COLLECT
1572.93/1577.28 c rational objective 92
1614.13/1618.58 c #Conflicts: 1027000 | #Constraints: 32865
1614.13/1618.58 c #Conflicts: 1028000 | #Constraints: 33865
1614.13/1618.58 c #Conflicts: 1029000 | #Constraints: 34865
1614.13/1618.58 c #Conflicts: 1030000 | #Constraints: 35865
1614.13/1618.58 c #Conflicts: 1031000 | #Constraints: 36865
1614.13/1618.58 c #Conflicts: 1032000 | #Constraints: 37865
1614.13/1618.58 c #Conflicts: 1033000 | #Constraints: 38865
1614.13/1618.58 c #Conflicts: 1034000 | #Constraints: 39865
1614.13/1618.58 c #Conflicts: 1035000 | #Constraints: 40865
1614.13/1618.58 c #Conflicts: 1036000 | #Constraints: 41865
1614.13/1618.58 c #Conflicts: 1037000 | #Constraints: 42865
1614.13/1618.58 c #Conflicts: 1038000 | #Constraints: 43865
1614.13/1618.58 c #Conflicts: 1039000 | #Constraints: 44865
1614.13/1618.58 c #Conflicts: 1040000 | #Constraints: 45865
1614.13/1618.58 c #Conflicts: 1041000 | #Constraints: 46865
1614.13/1618.58 c #Conflicts: 1042000 | #Constraints: 47865
1614.13/1618.58 c #Conflicts: 1043000 | #Constraints: 48865
1614.13/1618.58 c #Conflicts: 1044000 | #Constraints: 49865
1614.13/1618.58 c #Conflicts: 1045000 | #Constraints: 50865
1614.13/1618.58 c #Conflicts: 1046000 | #Constraints: 51865
1614.13/1618.58 c #Conflicts: 1047000 | #Constraints: 52865
1614.13/1618.58 c #Conflicts: 1048000 | #Constraints: 53865
1614.13/1618.58 c #Conflicts: 1049000 | #Constraints: 54865
1614.13/1618.58 c INPROCESSING
1614.13/1618.58 c GARBAGE COLLECT
1614.13/1618.58 c rational objective 92
1656.13/1660.62 c #Conflicts: 1050000 | #Constraints: 31670
1656.13/1660.62 c #Conflicts: 1051000 | #Constraints: 32670
1656.13/1660.62 c #Conflicts: 1052000 | #Constraints: 33670
1656.13/1660.62 c #Conflicts: 1053000 | #Constraints: 34670
1656.13/1660.62 c #Conflicts: 1054000 | #Constraints: 35670
1656.13/1660.62 c #Conflicts: 1055000 | #Constraints: 36670
1656.13/1660.62 c #Conflicts: 1056000 | #Constraints: 37670
1656.13/1660.62 c #Conflicts: 1057000 | #Constraints: 38670
1656.13/1660.62 c #Conflicts: 1058000 | #Constraints: 39670
1656.13/1660.62 c #Conflicts: 1059000 | #Constraints: 40670
1656.13/1660.62 c #Conflicts: 1060000 | #Constraints: 41670
1656.13/1660.62 c #Conflicts: 1061000 | #Constraints: 42670
1656.13/1660.62 c #Conflicts: 1062000 | #Constraints: 43670
1656.13/1660.62 c #Conflicts: 1063000 | #Constraints: 44670
1656.13/1660.62 c #Conflicts: 1064000 | #Constraints: 45670
1656.13/1660.62 c #Conflicts: 1065000 | #Constraints: 46670
1656.13/1660.62 c #Conflicts: 1066000 | #Constraints: 47670
1656.13/1660.62 c #Conflicts: 1067000 | #Constraints: 48670
1656.13/1660.62 c #Conflicts: 1068000 | #Constraints: 49670
1656.13/1660.62 c #Conflicts: 1069000 | #Constraints: 50670
1656.13/1660.62 c #Conflicts: 1070000 | #Constraints: 51670
1656.13/1660.62 c #Conflicts: 1071000 | #Constraints: 52670
1656.13/1660.62 c #Conflicts: 1072000 | #Constraints: 53670
1656.13/1660.62 c INPROCESSING
1656.13/1660.62 c GARBAGE COLLECT
1656.13/1660.62 c rational objective 92
1803.96/1808.86 c #Conflicts: 1073000 | #Constraints: 31247
1803.96/1808.86 c #Conflicts: 1074000 | #Constraints: 32247
1803.96/1808.86 c #Conflicts: 1075000 | #Constraints: 33247
1803.96/1808.86 c #Conflicts: 1076000 | #Constraints: 34247
1803.96/1808.86 c #Conflicts: 1077000 | #Constraints: 35247
1803.96/1808.86 c #Conflicts: 1078000 | #Constraints: 36247
1803.96/1808.86 c #Conflicts: 1079000 | #Constraints: 37247
1803.96/1808.86 c #Conflicts: 1080000 | #Constraints: 38247
1803.96/1808.86 c #Conflicts: 1081000 | #Constraints: 39247
1803.96/1808.86 c #Conflicts: 1082000 | #Constraints: 40247
1803.96/1808.86 c #Conflicts: 1083000 | #Constraints: 41247
1803.96/1808.86 c #Conflicts: 1084000 | #Constraints: 42247
1803.96/1808.86 c #Conflicts: 1085000 | #Constraints: 43247
1803.96/1808.86 c #Conflicts: 1086000 | #Constraints: 44247
1803.96/1808.86 c #Conflicts: 1087000 | #Constraints: 45247
1803.96/1808.86 c #Conflicts: 1088000 | #Constraints: 46247
1803.96/1808.86 c #Conflicts: 1089000 | #Constraints: 47247
1803.96/1808.86 c #Conflicts: 1090000 | #Constraints: 48247
1803.96/1808.86 c #Conflicts: 1091000 | #Constraints: 49247
1803.96/1808.86 c #Conflicts: 1092000 | #Constraints: 50247
1803.96/1808.86 c #Conflicts: 1093000 | #Constraints: 51247
1803.96/1808.86 c #Conflicts: 1094000 | #Constraints: 52247
1803.96/1808.86 c #Conflicts: 1095000 | #Constraints: 53247
1803.96/1808.86 c INPROCESSING
1803.96/1808.86 c GARBAGE COLLECT
1803.96/1808.86 c #Conflicts: 1096000 | #Constraints: 30911
1803.96/1808.86 c #Conflicts: 1097000 | #Constraints: 31911
1803.96/1808.86 c #Conflicts: 1098000 | #Constraints: 32911
1803.96/1808.86 c #Conflicts: 1099000 | #Constraints: 33912
1803.96/1808.86 c #Conflicts: 1100000 | #Constraints: 34912
1803.96/1808.86 c #Conflicts: 1101000 | #Constraints: 35912
1803.96/1808.86 c #Conflicts: 1102000 | #Constraints: 36912
1803.96/1808.86 c #Conflicts: 1103000 | #Constraints: 37912
1803.96/1808.86 c #Conflicts: 1104000 | #Constraints: 38912
1803.96/1808.86 c #Conflicts: 1105000 | #Constraints: 39912
1803.96/1808.86 c #Conflicts: 1106000 | #Constraints: 40912
1803.96/1808.86 c #Conflicts: 1107000 | #Constraints: 41912
1803.96/1808.86 c #Conflicts: 1108000 | #Constraints: 42912
1803.96/1808.86 c #Conflicts: 1109000 | #Constraints: 43912
1803.96/1808.86 c #Conflicts: 1110000 | #Constraints: 44912
1803.96/1808.86 c #Conflicts: 1111000 | #Constraints: 45912
1803.96/1808.86 c #Conflicts: 1112000 | #Constraints: 46912
1803.96/1808.86 c #Conflicts: 1113000 | #Constraints: 47912
1803.96/1808.86 c #Conflicts: 1114000 | #Constraints: 48912
1803.96/1808.86 c #Conflicts: 1115000 | #Constraints: 49912
1803.96/1808.86 c #Conflicts: 1116000 | #Constraints: 50912
1803.96/1808.86 c #Conflicts: 1117000 | #Constraints: 51912
1803.96/1808.86 c #Conflicts: 1118000 | #Constraints: 52912
1803.96/1808.86 c #Conflicts: 1119000 | #Constraints: 53912
1803.96/1808.86 c #Conflicts: 1120000 | #Constraints: 54912
1803.96/1808.86 c #Conflicts: 1121000 | #Constraints: 55912
1803.96/1808.86 c #Conflicts: 1122000 | #Constraints: 56912
1803.96/1808.86 c #Conflicts: 1123000 | #Constraints: 57912
1803.96/1808.86 c #Conflicts: 1124000 | #Constraints: 58912
1803.96/1808.86 c #Conflicts: 1125000 | #Constraints: 59912
1803.96/1808.86 c #Conflicts: 1126000 | #Constraints: 60912
1803.96/1808.86 c #Conflicts: 1127000 | #Constraints: 61912
1803.96/1808.86 c #Conflicts: 1128000 | #Constraints: 62912
1803.96/1808.86 c #Conflicts: 1129000 | #Constraints: 63912
1803.96/1808.86 c #Conflicts: 1130000 | #Constraints: 64912
1803.96/1808.86 c #Conflicts: 1131000 | #Constraints: 65912
1803.96/1808.86 c #Conflicts: 1132000 | #Constraints: 66912
1803.96/1808.86 c #Conflicts: 1133000 | #Constraints: 67912
1803.96/1808.86 c #Conflicts: 1134000 | #Constraints: 68912
1803.96/1808.86 c #Conflicts: 1135000 | #Constraints: 69912
1803.96/1808.86 c #Conflicts: 1136000 | #Constraints: 70912
1803.96/1808.86 c #Conflicts: 1137000 | #Constraints: 71912
1803.96/1808.86 c #Conflicts: 1138000 | #Constraints: 72912
1803.96/1808.86 c #Conflicts: 1139000 | #Constraints: 73912
1803.96/1808.86 c #Conflicts: 1140000 | #Constraints: 74912
1803.96/1808.86 c #Conflicts: 1141000 | #Constraints: 75912
1803.96/1808.86 c #Conflicts: 1142000 | #Constraints: 76912
1803.96/1808.86 c #Conflicts: 1143000 | #Constraints: 77912
1803.96/1808.86 c #Conflicts: 1144000 | #Constraints: 78912
1803.96/1808.86 c #Conflicts: 1145000 | #Constraints: 79912
1803.96/1808.86 c #Conflicts: 1146000 | #Constraints: 80912
1803.96/1808.86 c #Conflicts: 1147000 | #Constraints: 81912
1803.96/1808.86 c #Conflicts: 1148000 | #Constraints: 82912
1803.96/1808.86 c #Conflicts: 1149000 | #Constraints: 83912
1803.96/1808.86 c #Conflicts: 1150000 | #Constraints: 84912
1803.96/1808.86 c #Conflicts: 1151000 | #Constraints: 85912
1911.99/1917.14 c #Conflicts: 1152000 | #Constraints: 86912
1911.99/1917.14 c #Conflicts: 1153000 | #Constraints: 87912
1911.99/1917.14 c #Conflicts: 1154000 | #Constraints: 88912
1911.99/1917.14 c #Conflicts: 1155000 | #Constraints: 89912
1911.99/1917.14 c #Conflicts: 1156000 | #Constraints: 90912
1911.99/1917.14 c #Conflicts: 1157000 | #Constraints: 91912
1911.99/1917.14 c #Conflicts: 1158000 | #Constraints: 92912
1911.99/1917.14 c #Conflicts: 1159000 | #Constraints: 93912
1911.99/1917.14 c #Conflicts: 1160000 | #Constraints: 94912
1911.99/1917.14 c #Conflicts: 1161000 | #Constraints: 95912
1911.99/1917.14 c #Conflicts: 1162000 | #Constraints: 96912
1911.99/1917.14 c #Conflicts: 1163000 | #Constraints: 97912
1911.99/1917.14 c #Conflicts: 1164000 | #Constraints: 98912
1911.99/1917.14 c #Conflicts: 1165000 | #Constraints: 99912
1911.99/1917.14 c #Conflicts: 1166000 | #Constraints: 100912
1911.99/1917.14 c #Conflicts: 1167000 | #Constraints: 101912
1911.99/1917.14 c #Conflicts: 1168000 | #Constraints: 102912
1911.99/1917.14 c #Conflicts: 1169000 | #Constraints: 103912
1911.99/1917.14 c #Conflicts: 1170000 | #Constraints: 104912
1911.99/1917.14 c #Conflicts: 1171000 | #Constraints: 105912
1911.99/1917.14 c #Conflicts: 1172000 | #Constraints: 106912
1911.99/1917.14 c #Conflicts: 1173000 | #Constraints: 107912
1911.99/1917.14 c #Conflicts: 1174000 | #Constraints: 108912
1911.99/1917.14 c #Conflicts: 1175000 | #Constraints: 109912
1911.99/1917.14 c #Conflicts: 1176000 | #Constraints: 110912
1911.99/1917.14 c #Conflicts: 1177000 | #Constraints: 111912
1911.99/1917.14 c #Conflicts: 1178000 | #Constraints: 112912
1911.99/1917.14 c #Conflicts: 1179000 | #Constraints: 113912
1911.99/1917.14 c INPROCESSING
1911.99/1917.14 c GARBAGE COLLECT
1911.99/1917.14 c rational objective 92
2066.59/2072.19 c #Conflicts: 1180000 | #Constraints: 61433
2066.59/2072.19 c #Conflicts: 1181000 | #Constraints: 62433
2066.59/2072.19 c #Conflicts: 1182000 | #Constraints: 63433
2066.59/2072.19 c #Conflicts: 1183000 | #Constraints: 64433
2066.59/2072.19 c #Conflicts: 1184000 | #Constraints: 65433
2066.59/2072.19 c #Conflicts: 1185000 | #Constraints: 66433
2066.59/2072.19 c #Conflicts: 1186000 | #Constraints: 67433
2066.59/2072.19 c #Conflicts: 1187000 | #Constraints: 68433
2066.59/2072.19 c #Conflicts: 1188000 | #Constraints: 69433
2066.59/2072.19 c #Conflicts: 1189000 | #Constraints: 70433
2066.59/2072.19 c #Conflicts: 1190000 | #Constraints: 71433
2066.59/2072.19 c #Conflicts: 1191000 | #Constraints: 72433
2066.59/2072.19 c #Conflicts: 1192000 | #Constraints: 73433
2066.59/2072.19 c #Conflicts: 1193000 | #Constraints: 74433
2066.59/2072.19 c #Conflicts: 1194000 | #Constraints: 75433
2066.59/2072.19 c #Conflicts: 1195000 | #Constraints: 76433
2066.59/2072.19 c #Conflicts: 1196000 | #Constraints: 77433
2066.59/2072.19 c #Conflicts: 1197000 | #Constraints: 78433
2066.59/2072.19 c #Conflicts: 1198000 | #Constraints: 79433
2066.59/2072.19 c #Conflicts: 1199000 | #Constraints: 80433
2066.59/2072.19 c #Conflicts: 1200000 | #Constraints: 81433
2066.59/2072.19 c #Conflicts: 1201000 | #Constraints: 82433
2066.59/2072.19 c #Conflicts: 1202000 | #Constraints: 83433
2066.59/2072.19 c #Conflicts: 1203000 | #Constraints: 84433
2066.59/2072.19 c INPROCESSING
2066.59/2072.19 c GARBAGE COLLECT
2066.59/2072.19 c #Conflicts: 1204000 | #Constraints: 46489
2066.59/2072.19 c #Conflicts: 1205000 | #Constraints: 47489
2066.59/2072.19 c #Conflicts: 1206000 | #Constraints: 48489
2066.59/2072.19 c #Conflicts: 1207000 | #Constraints: 49489
2066.59/2072.19 c #Conflicts: 1208000 | #Constraints: 50489
2066.59/2072.19 c #Conflicts: 1209000 | #Constraints: 51489
2066.59/2072.19 c #Conflicts: 1210000 | #Constraints: 52489
2066.59/2072.19 c #Conflicts: 1211000 | #Constraints: 53489
2066.59/2072.19 c #Conflicts: 1212000 | #Constraints: 54489
2066.59/2072.19 c #Conflicts: 1213000 | #Constraints: 55489
2066.59/2072.19 c #Conflicts: 1214000 | #Constraints: 56489
2066.59/2072.19 c #Conflicts: 1215000 | #Constraints: 57489
2066.59/2072.19 c #Conflicts: 1216000 | #Constraints: 58489
2066.59/2072.19 c #Conflicts: 1217000 | #Constraints: 59489
2066.59/2072.19 c #Conflicts: 1218000 | #Constraints: 60489
2066.59/2072.19 c #Conflicts: 1219000 | #Constraints: 61489
2066.59/2072.19 c #Conflicts: 1220000 | #Constraints: 62490
2066.59/2072.19 c #Conflicts: 1221000 | #Constraints: 63490
2066.59/2072.19 c #Conflicts: 1222000 | #Constraints: 64490
2066.59/2072.19 c #Conflicts: 1223000 | #Constraints: 65490
2066.59/2072.19 c #Conflicts: 1224000 | #Constraints: 66490
2066.59/2072.19 c #Conflicts: 1225000 | #Constraints: 67490
2066.59/2072.19 c #Conflicts: 1226000 | #Constraints: 68490
2066.59/2072.19 c #Conflicts: 1227000 | #Constraints: 69490
2066.59/2072.19 c #Conflicts: 1228000 | #Constraints: 70490
2066.59/2072.19 c INPROCESSING
2066.59/2072.19 c GARBAGE COLLECT
2066.59/2072.19 c #Conflicts: 1229000 | #Constraints: 39690
2066.59/2072.19 c #Conflicts: 1230000 | #Constraints: 40690
2066.59/2072.19 c #Conflicts: 1231000 | #Constraints: 41690
2066.59/2072.19 c #Conflicts: 1232000 | #Constraints: 42690
2066.59/2072.19 c #Conflicts: 1233000 | #Constraints: 43690
2066.59/2072.19 c #Conflicts: 1234000 | #Constraints: 44690
2066.59/2072.19 c #Conflicts: 1235000 | #Constraints: 45690
2066.59/2072.19 c #Conflicts: 1236000 | #Constraints: 46690
2066.59/2072.19 c #Conflicts: 1237000 | #Constraints: 47690
2066.59/2072.19 c #Conflicts: 1238000 | #Constraints: 48690
2066.59/2072.19 c #Conflicts: 1239000 | #Constraints: 49690
2066.59/2072.19 c #Conflicts: 1240000 | #Constraints: 50690
2066.59/2072.19 c #Conflicts: 1241000 | #Constraints: 51690
2066.59/2072.19 c #Conflicts: 1242000 | #Constraints: 52690
2066.59/2072.19 c #Conflicts: 1243000 | #Constraints: 53690
2066.59/2072.19 c #Conflicts: 1244000 | #Constraints: 54690
2066.59/2072.19 c #Conflicts: 1245000 | #Constraints: 55690
2066.59/2072.19 c #Conflicts: 1246000 | #Constraints: 56690
2066.59/2072.19 c #Conflicts: 1247000 | #Constraints: 57690
2066.59/2072.19 c #Conflicts: 1248000 | #Constraints: 58690
2066.59/2072.19 c #Conflicts: 1249000 | #Constraints: 59690
2066.59/2072.19 c #Conflicts: 1250000 | #Constraints: 60690
2066.59/2072.19 c #Conflicts: 1251000 | #Constraints: 61690
2066.59/2072.19 c #Conflicts: 1252000 | #Constraints: 62690
2066.59/2072.19 c #Conflicts: 1253000 | #Constraints: 63690
2066.59/2072.19 c INPROCESSING
2066.59/2072.19 c GARBAGE COLLECT
2066.59/2072.19 c #Conflicts: 1254000 | #Constraints: 36396
2066.59/2072.19 c #Conflicts: 1255000 | #Constraints: 37396
2066.59/2072.19 c #Conflicts: 1256000 | #Constraints: 38396
2182.00/2187.89 c #Conflicts: 1257000 | #Constraints: 39396
2182.00/2187.89 c #Conflicts: 1258000 | #Constraints: 40396
2182.00/2187.89 c #Conflicts: 1259000 | #Constraints: 41396
2182.00/2187.89 c #Conflicts: 1260000 | #Constraints: 42396
2182.00/2187.89 c #Conflicts: 1261000 | #Constraints: 43396
2182.00/2187.89 c #Conflicts: 1262000 | #Constraints: 44396
2182.00/2187.89 c #Conflicts: 1263000 | #Constraints: 45396
2182.00/2187.89 c #Conflicts: 1264000 | #Constraints: 46396
2182.00/2187.89 c #Conflicts: 1265000 | #Constraints: 47396
2182.00/2187.89 c #Conflicts: 1266000 | #Constraints: 48396
2182.00/2187.89 c #Conflicts: 1267000 | #Constraints: 49396
2182.00/2187.89 c #Conflicts: 1268000 | #Constraints: 50396
2182.00/2187.89 c #Conflicts: 1269000 | #Constraints: 51396
2182.00/2187.89 c #Conflicts: 1270000 | #Constraints: 52396
2182.00/2187.89 c #Conflicts: 1271000 | #Constraints: 53396
2182.00/2187.89 c #Conflicts: 1272000 | #Constraints: 54396
2182.00/2187.89 c #Conflicts: 1273000 | #Constraints: 55396
2182.00/2187.89 c #Conflicts: 1274000 | #Constraints: 56396
2182.00/2187.89 c #Conflicts: 1275000 | #Constraints: 57396
2182.00/2187.89 c #Conflicts: 1276000 | #Constraints: 58396
2182.00/2187.89 c #Conflicts: 1277000 | #Constraints: 59396
2182.00/2187.89 c #Conflicts: 1278000 | #Constraints: 60396
2182.00/2187.89 c INPROCESSING
2182.00/2187.89 c GARBAGE COLLECT
2182.00/2187.89 c #Conflicts: 1279000 | #Constraints: 34807
2182.00/2187.89 c #Conflicts: 1280000 | #Constraints: 35807
2182.00/2187.89 c #Conflicts: 1281000 | #Constraints: 36807
2182.00/2187.89 c #Conflicts: 1282000 | #Constraints: 37807
2182.00/2187.89 c #Conflicts: 1283000 | #Constraints: 38807
2182.00/2187.89 c #Conflicts: 1284000 | #Constraints: 39807
2182.00/2187.89 c #Conflicts: 1285000 | #Constraints: 40807
2182.00/2187.89 c #Conflicts: 1286000 | #Constraints: 41807
2182.00/2187.89 c #Conflicts: 1287000 | #Constraints: 42807
2182.00/2187.89 c #Conflicts: 1288000 | #Constraints: 43807
2182.00/2187.89 c #Conflicts: 1289000 | #Constraints: 44807
2182.00/2187.89 c #Conflicts: 1290000 | #Constraints: 45807
2182.00/2187.89 c #Conflicts: 1291000 | #Constraints: 46807
2182.00/2187.89 c #Conflicts: 1292000 | #Constraints: 47807
2182.00/2187.89 c #Conflicts: 1293000 | #Constraints: 48807
2182.00/2187.89 c #Conflicts: 1294000 | #Constraints: 49807
2182.00/2187.89 c #Conflicts: 1295000 | #Constraints: 50807
2182.00/2187.89 c #Conflicts: 1296000 | #Constraints: 51807
2182.00/2187.89 c #Conflicts: 1297000 | #Constraints: 52807
2182.00/2187.89 c #Conflicts: 1298000 | #Constraints: 53807
2182.00/2187.89 c #Conflicts: 1299000 | #Constraints: 54807
2182.00/2187.89 c #Conflicts: 1300000 | #Constraints: 55807
2182.00/2187.89 c #Conflicts: 1301000 | #Constraints: 56808
2182.00/2187.89 c #Conflicts: 1302000 | #Constraints: 57808
2182.00/2187.89 c #Conflicts: 1303000 | #Constraints: 58808
2182.00/2187.89 c INPROCESSING
2182.00/2187.89 c GARBAGE COLLECT
2182.00/2187.89 c #Conflicts: 1304000 | #Constraints: 33852
2182.00/2187.89 c #Conflicts: 1305000 | #Constraints: 34852
2182.00/2187.89 c #Conflicts: 1306000 | #Constraints: 35852
2182.00/2187.89 c #Conflicts: 1307000 | #Constraints: 36852
2182.00/2187.89 c #Conflicts: 1308000 | #Constraints: 37852
2182.00/2187.89 c #Conflicts: 1309000 | #Constraints: 38852
2182.00/2187.89 c #Conflicts: 1310000 | #Constraints: 39852
2182.00/2187.89 c #Conflicts: 1311000 | #Constraints: 40852
2182.00/2187.89 c #Conflicts: 1312000 | #Constraints: 41852
2182.00/2187.89 c #Conflicts: 1313000 | #Constraints: 42852
2182.00/2187.89 c #Conflicts: 1314000 | #Constraints: 43852
2182.00/2187.89 c #Conflicts: 1315000 | #Constraints: 44852
2182.00/2187.89 c #Conflicts: 1316000 | #Constraints: 45852
2182.00/2187.89 c #Conflicts: 1317000 | #Constraints: 46852
2182.00/2187.89 c #Conflicts: 1318000 | #Constraints: 47852
2182.00/2187.89 c #Conflicts: 1319000 | #Constraints: 48852
2182.00/2187.89 c #Conflicts: 1320000 | #Constraints: 49852
2182.00/2187.89 c #Conflicts: 1321000 | #Constraints: 50852
2182.00/2187.89 c #Conflicts: 1322000 | #Constraints: 51852
2182.00/2187.89 c #Conflicts: 1323000 | #Constraints: 52852
2182.00/2187.89 c #Conflicts: 1324000 | #Constraints: 53852
2182.00/2187.89 c #Conflicts: 1325000 | #Constraints: 54852
2182.00/2187.89 c #Conflicts: 1326000 | #Constraints: 55852
2182.00/2187.89 c #Conflicts: 1327000 | #Constraints: 56852
2182.00/2187.89 c #Conflicts: 1328000 | #Constraints: 57852
2182.00/2187.89 c #Conflicts: 1329000 | #Constraints: 58852
2182.00/2187.89 c #Conflicts: 1330000 | #Constraints: 59852
2182.00/2187.89 c #Conflicts: 1331000 | #Constraints: 60852
2182.00/2187.89 c #Conflicts: 1332000 | #Constraints: 61852
2182.00/2187.89 c #Conflicts: 1333000 | #Constraints: 62852
2182.00/2187.89 c #Conflicts: 1334000 | #Constraints: 63852
2393.78/2400.11 c #Conflicts: 1335000 | #Constraints: 64852
2393.78/2400.11 c #Conflicts: 1336000 | #Constraints: 65852
2393.78/2400.11 c #Conflicts: 1337000 | #Constraints: 66852
2393.78/2400.11 c #Conflicts: 1338000 | #Constraints: 67852
2393.78/2400.11 c #Conflicts: 1339000 | #Constraints: 68852
2393.78/2400.11 c #Conflicts: 1340000 | #Constraints: 69852
2393.78/2400.11 c #Conflicts: 1341000 | #Constraints: 70852
2393.78/2400.11 c #Conflicts: 1342000 | #Constraints: 71852
2393.78/2400.11 c #Conflicts: 1343000 | #Constraints: 72852
2393.78/2400.11 c #Conflicts: 1344000 | #Constraints: 73852
2393.78/2400.11 c #Conflicts: 1345000 | #Constraints: 74852
2393.78/2400.11 c #Conflicts: 1346000 | #Constraints: 75852
2393.78/2400.11 c #Conflicts: 1347000 | #Constraints: 76852
2393.78/2400.11 c #Conflicts: 1348000 | #Constraints: 77852
2393.78/2400.11 c #Conflicts: 1349000 | #Constraints: 78852
2393.78/2400.11 c #Conflicts: 1350000 | #Constraints: 79852
2393.78/2400.11 c #Conflicts: 1351000 | #Constraints: 80852
2393.78/2400.11 c #Conflicts: 1352000 | #Constraints: 81852
2393.78/2400.11 c #Conflicts: 1353000 | #Constraints: 82852
2393.78/2400.11 c #Conflicts: 1354000 | #Constraints: 83852
2393.78/2400.11 c #Conflicts: 1355000 | #Constraints: 84852
2393.78/2400.11 c #Conflicts: 1356000 | #Constraints: 85852
2393.78/2400.11 c #Conflicts: 1357000 | #Constraints: 86852
2393.78/2400.11 c #Conflicts: 1358000 | #Constraints: 87852
2393.78/2400.11 c #Conflicts: 1359000 | #Constraints: 88852
2393.78/2400.11 c #Conflicts: 1360000 | #Constraints: 89852
2393.78/2400.11 c #Conflicts: 1361000 | #Constraints: 90852
2393.78/2400.11 c #Conflicts: 1362000 | #Constraints: 91852
2393.78/2400.11 c #Conflicts: 1363000 | #Constraints: 92852
2393.78/2400.11 c #Conflicts: 1364000 | #Constraints: 93852
2393.78/2400.11 c #Conflicts: 1365000 | #Constraints: 94852
2393.78/2400.11 c #Conflicts: 1366000 | #Constraints: 95852
2393.78/2400.11 c #Conflicts: 1367000 | #Constraints: 96852
2393.78/2400.11 c #Conflicts: 1368000 | #Constraints: 97852
2393.78/2400.11 c #Conflicts: 1369000 | #Constraints: 98852
2393.78/2400.11 c #Conflicts: 1370000 | #Constraints: 99852
2393.78/2400.11 c #Conflicts: 1371000 | #Constraints: 100852
2393.78/2400.11 c #Conflicts: 1372000 | #Constraints: 101852
2393.78/2400.11 c #Conflicts: 1373000 | #Constraints: 102852
2393.78/2400.11 c #Conflicts: 1374000 | #Constraints: 103852
2393.78/2400.11 c #Conflicts: 1375000 | #Constraints: 104852
2393.78/2400.11 c #Conflicts: 1376000 | #Constraints: 105852
2393.78/2400.11 c #Conflicts: 1377000 | #Constraints: 106852
2393.78/2400.11 c #Conflicts: 1378000 | #Constraints: 107852
2393.78/2400.11 c #Conflicts: 1379000 | #Constraints: 108852
2393.78/2400.11 c #Conflicts: 1380000 | #Constraints: 109852
2393.78/2400.11 c #Conflicts: 1381000 | #Constraints: 110852
2393.78/2400.11 c #Conflicts: 1382000 | #Constraints: 111852
2393.78/2400.11 c #Conflicts: 1383000 | #Constraints: 112852
2393.78/2400.11 c #Conflicts: 1384000 | #Constraints: 113852
2393.78/2400.11 c #Conflicts: 1385000 | #Constraints: 114852
2393.78/2400.11 c #Conflicts: 1386000 | #Constraints: 115852
2393.78/2400.11 c #Conflicts: 1387000 | #Constraints: 116852
2393.78/2400.11 c #Conflicts: 1388000 | #Constraints: 117852
2393.78/2400.11 c #Conflicts: 1389000 | #Constraints: 118852
2393.78/2400.11 c #Conflicts: 1390000 | #Constraints: 119852
2393.78/2400.11 c #Conflicts: 1391000 | #Constraints: 120852
2393.78/2400.11 c #Conflicts: 1392000 | #Constraints: 121852
2393.78/2400.11 c #Conflicts: 1393000 | #Constraints: 122852
2393.78/2400.11 c #Conflicts: 1394000 | #Constraints: 123852
2393.78/2400.11 c INPROCESSING
2393.78/2400.11 c GARBAGE COLLECT
2393.78/2400.11 c rational objective 92
2459.21/2465.75 c #Conflicts: 1395000 | #Constraints: 66384
2459.21/2465.75 c #Conflicts: 1396000 | #Constraints: 67384
2459.21/2465.75 c #Conflicts: 1397000 | #Constraints: 68384
2459.21/2465.75 c #Conflicts: 1398000 | #Constraints: 69384
2459.21/2465.75 c #Conflicts: 1399000 | #Constraints: 70384
2459.21/2465.75 c #Conflicts: 1400000 | #Constraints: 71384
2459.21/2465.75 c #Conflicts: 1401000 | #Constraints: 72384
2459.21/2465.75 c #Conflicts: 1402000 | #Constraints: 73384
2459.21/2465.75 c #Conflicts: 1403000 | #Constraints: 74384
2459.21/2465.75 c #Conflicts: 1404000 | #Constraints: 75384
2459.21/2465.75 c #Conflicts: 1405000 | #Constraints: 76384
2459.21/2465.75 c #Conflicts: 1406000 | #Constraints: 77384
2459.21/2465.75 c #Conflicts: 1407000 | #Constraints: 78384
2459.21/2465.75 c #Conflicts: 1408000 | #Constraints: 79384
2459.21/2465.75 c #Conflicts: 1409000 | #Constraints: 80384
2459.21/2465.75 c #Conflicts: 1410000 | #Constraints: 81384
2459.21/2465.75 c #Conflicts: 1411000 | #Constraints: 82384
2459.21/2465.75 c #Conflicts: 1412000 | #Constraints: 83384
2459.21/2465.75 c #Conflicts: 1413000 | #Constraints: 84384
2459.21/2465.75 c #Conflicts: 1414000 | #Constraints: 85384
2459.21/2465.75 c #Conflicts: 1415000 | #Constraints: 86384
2459.21/2465.75 c #Conflicts: 1416000 | #Constraints: 87384
2459.21/2465.75 c #Conflicts: 1417000 | #Constraints: 88384
2459.21/2465.75 c #Conflicts: 1418000 | #Constraints: 89384
2459.21/2465.75 c #Conflicts: 1419000 | #Constraints: 90384
2459.21/2465.75 c #Conflicts: 1420000 | #Constraints: 91384
2459.21/2465.75 c INPROCESSING
2459.21/2465.75 c GARBAGE COLLECT
2459.21/2465.75 c rational objective 92
2514.97/2521.68 c #Conflicts: 1421000 | #Constraints: 49924
2514.97/2521.68 c #Conflicts: 1422000 | #Constraints: 50924
2514.97/2521.68 c #Conflicts: 1423000 | #Constraints: 51924
2514.97/2521.68 c #Conflicts: 1424000 | #Constraints: 52924
2514.97/2521.68 c #Conflicts: 1425000 | #Constraints: 53924
2514.97/2521.68 c #Conflicts: 1426000 | #Constraints: 54924
2514.97/2521.68 c #Conflicts: 1427000 | #Constraints: 55924
2514.97/2521.68 c #Conflicts: 1428000 | #Constraints: 56924
2514.97/2521.68 c #Conflicts: 1429000 | #Constraints: 57924
2514.97/2521.68 c #Conflicts: 1430000 | #Constraints: 58924
2514.97/2521.68 c #Conflicts: 1431000 | #Constraints: 59924
2514.97/2521.68 c #Conflicts: 1432000 | #Constraints: 60924
2514.97/2521.68 c #Conflicts: 1433000 | #Constraints: 61924
2514.97/2521.68 c #Conflicts: 1434000 | #Constraints: 62924
2514.97/2521.68 c #Conflicts: 1435000 | #Constraints: 63924
2514.97/2521.68 c #Conflicts: 1436000 | #Constraints: 64924
2514.97/2521.68 c #Conflicts: 1437000 | #Constraints: 65924
2514.97/2521.68 c #Conflicts: 1438000 | #Constraints: 66924
2514.97/2521.68 c #Conflicts: 1439000 | #Constraints: 67924
2514.97/2521.68 c #Conflicts: 1440000 | #Constraints: 68924
2514.97/2521.68 c #Conflicts: 1441000 | #Constraints: 69924
2514.97/2521.68 c #Conflicts: 1442000 | #Constraints: 70924
2514.97/2521.68 c #Conflicts: 1443000 | #Constraints: 71924
2514.97/2521.68 c #Conflicts: 1444000 | #Constraints: 72924
2514.97/2521.68 c #Conflicts: 1445000 | #Constraints: 73924
2514.97/2521.68 c #Conflicts: 1446000 | #Constraints: 74924
2514.97/2521.68 c #Conflicts: 1447000 | #Constraints: 75924
2514.97/2521.68 c INPROCESSING
2514.97/2521.68 c GARBAGE COLLECT
2514.97/2521.68 c rational objective 92
2636.76/2643.78 c #Conflicts: 1448000 | #Constraints: 42279
2636.76/2643.78 c #Conflicts: 1449000 | #Constraints: 43279
2636.76/2643.78 c #Conflicts: 1450000 | #Constraints: 44279
2636.76/2643.78 c #Conflicts: 1451000 | #Constraints: 45279
2636.76/2643.78 c #Conflicts: 1452000 | #Constraints: 46279
2636.76/2643.78 c #Conflicts: 1453000 | #Constraints: 47279
2636.76/2643.78 c #Conflicts: 1454000 | #Constraints: 48279
2636.76/2643.78 c #Conflicts: 1455000 | #Constraints: 49279
2636.76/2643.78 c #Conflicts: 1456000 | #Constraints: 50279
2636.76/2643.78 c #Conflicts: 1457000 | #Constraints: 51279
2636.76/2643.78 c #Conflicts: 1458000 | #Constraints: 52279
2636.76/2643.78 c #Conflicts: 1459000 | #Constraints: 53279
2636.76/2643.78 c #Conflicts: 1460000 | #Constraints: 54279
2636.76/2643.78 c #Conflicts: 1461000 | #Constraints: 55279
2636.76/2643.78 c #Conflicts: 1462000 | #Constraints: 56279
2636.76/2643.78 c #Conflicts: 1463000 | #Constraints: 57279
2636.76/2643.78 c #Conflicts: 1464000 | #Constraints: 58279
2636.76/2643.78 c #Conflicts: 1465000 | #Constraints: 59279
2636.76/2643.78 c #Conflicts: 1466000 | #Constraints: 60279
2636.76/2643.78 c #Conflicts: 1467000 | #Constraints: 61279
2636.76/2643.78 c #Conflicts: 1468000 | #Constraints: 62279
2636.76/2643.78 c #Conflicts: 1469000 | #Constraints: 63279
2636.76/2643.78 c #Conflicts: 1470000 | #Constraints: 64279
2636.76/2643.78 c #Conflicts: 1471000 | #Constraints: 65279
2636.76/2643.78 c #Conflicts: 1472000 | #Constraints: 66279
2636.76/2643.78 c #Conflicts: 1473000 | #Constraints: 67279
2636.76/2643.78 c #Conflicts: 1474000 | #Constraints: 68279
2636.76/2643.78 c INPROCESSING
2636.76/2643.78 c GARBAGE COLLECT
2636.76/2643.78 c #Conflicts: 1475000 | #Constraints: 38591
2636.76/2643.78 c #Conflicts: 1476000 | #Constraints: 39591
2636.76/2643.78 c #Conflicts: 1477000 | #Constraints: 40591
2636.76/2643.78 c #Conflicts: 1478000 | #Constraints: 41591
2636.76/2643.78 c #Conflicts: 1479000 | #Constraints: 42591
2636.76/2643.78 c #Conflicts: 1480000 | #Constraints: 43591
2636.76/2643.78 c #Conflicts: 1481000 | #Constraints: 44591
2636.76/2643.78 c #Conflicts: 1482000 | #Constraints: 45591
2636.76/2643.78 c #Conflicts: 1483000 | #Constraints: 46591
2636.76/2643.78 c #Conflicts: 1484000 | #Constraints: 47591
2636.76/2643.78 c #Conflicts: 1485000 | #Constraints: 48591
2636.76/2643.78 c #Conflicts: 1486000 | #Constraints: 49591
2636.76/2643.78 c #Conflicts: 1487000 | #Constraints: 50591
2636.76/2643.78 c #Conflicts: 1488000 | #Constraints: 51591
2636.76/2643.78 c #Conflicts: 1489000 | #Constraints: 52591
2636.76/2643.78 c #Conflicts: 1490000 | #Constraints: 53591
2636.76/2643.78 c #Conflicts: 1491000 | #Constraints: 54591
2636.76/2643.78 c #Conflicts: 1492000 | #Constraints: 55591
2636.76/2643.78 c #Conflicts: 1493000 | #Constraints: 56591
2636.76/2643.78 c #Conflicts: 1494000 | #Constraints: 57591
2636.76/2643.78 c #Conflicts: 1495000 | #Constraints: 58591
2636.76/2643.78 c #Conflicts: 1496000 | #Constraints: 59591
2636.76/2643.78 c #Conflicts: 1497000 | #Constraints: 60591
2636.76/2643.78 c #Conflicts: 1498000 | #Constraints: 61591
2636.76/2643.78 c #Conflicts: 1499000 | #Constraints: 62591
2636.76/2643.78 c #Conflicts: 1500000 | #Constraints: 63591
2636.76/2643.78 c #Conflicts: 1501000 | #Constraints: 64591
2636.76/2643.78 c INPROCESSING
2636.76/2643.78 c GARBAGE COLLECT
2636.76/2643.78 c #Conflicts: 1502000 | #Constraints: 36675
2636.76/2643.78 c #Conflicts: 1503000 | #Constraints: 37675
2636.76/2643.78 c #Conflicts: 1504000 | #Constraints: 38675
2636.76/2643.78 c #Conflicts: 1505000 | #Constraints: 39675
2636.76/2643.78 c #Conflicts: 1506000 | #Constraints: 40675
2636.76/2643.78 c #Conflicts: 1507000 | #Constraints: 41675
2636.76/2643.78 c #Conflicts: 1508000 | #Constraints: 42675
2636.76/2643.78 c #Conflicts: 1509000 | #Constraints: 43675
2636.76/2643.78 c #Conflicts: 1510000 | #Constraints: 44675
2636.76/2643.78 c #Conflicts: 1511000 | #Constraints: 45675
2636.76/2643.78 c #Conflicts: 1512000 | #Constraints: 46675
2636.76/2643.78 c #Conflicts: 1513000 | #Constraints: 47675
2636.76/2643.78 c #Conflicts: 1514000 | #Constraints: 48675
2636.76/2643.78 c #Conflicts: 1515000 | #Constraints: 49675
2636.76/2643.78 c #Conflicts: 1516000 | #Constraints: 50675
2636.76/2643.78 c #Conflicts: 1517000 | #Constraints: 51675
2636.76/2643.78 c #Conflicts: 1518000 | #Constraints: 52675
2636.76/2643.78 c #Conflicts: 1519000 | #Constraints: 53675
2636.76/2643.78 c #Conflicts: 1520000 | #Constraints: 54675
2636.76/2643.78 c #Conflicts: 1521000 | #Constraints: 55675
2636.76/2643.78 c #Conflicts: 1522000 | #Constraints: 56675
2636.76/2643.78 c #Conflicts: 1523000 | #Constraints: 57675
2636.76/2643.78 c #Conflicts: 1524000 | #Constraints: 58675
2636.76/2643.78 c #Conflicts: 1525000 | #Constraints: 59675
2822.45/2829.99 c #Conflicts: 1526000 | #Constraints: 60675
2822.45/2829.99 c #Conflicts: 1527000 | #Constraints: 61675
2822.45/2829.99 c #Conflicts: 1528000 | #Constraints: 62675
2822.45/2829.99 c INPROCESSING
2822.45/2829.99 c GARBAGE COLLECT
2822.45/2829.99 c #Conflicts: 1529000 | #Constraints: 35562
2822.45/2829.99 c #Conflicts: 1530000 | #Constraints: 36562
2822.45/2829.99 c #Conflicts: 1531000 | #Constraints: 37562
2822.45/2829.99 c #Conflicts: 1532000 | #Constraints: 38562
2822.45/2829.99 c #Conflicts: 1533000 | #Constraints: 39562
2822.45/2829.99 c #Conflicts: 1534000 | #Constraints: 40562
2822.45/2829.99 c #Conflicts: 1535000 | #Constraints: 41562
2822.45/2829.99 c #Conflicts: 1536000 | #Constraints: 42562
2822.45/2829.99 c #Conflicts: 1537000 | #Constraints: 43562
2822.45/2829.99 c #Conflicts: 1538000 | #Constraints: 44562
2822.45/2829.99 c #Conflicts: 1539000 | #Constraints: 45562
2822.45/2829.99 c #Conflicts: 1540000 | #Constraints: 46562
2822.45/2829.99 c #Conflicts: 1541000 | #Constraints: 47562
2822.45/2829.99 c #Conflicts: 1542000 | #Constraints: 48562
2822.45/2829.99 c #Conflicts: 1543000 | #Constraints: 49562
2822.45/2829.99 c #Conflicts: 1544000 | #Constraints: 50562
2822.45/2829.99 c #Conflicts: 1545000 | #Constraints: 51562
2822.45/2829.99 c #Conflicts: 1546000 | #Constraints: 52562
2822.45/2829.99 c #Conflicts: 1547000 | #Constraints: 53562
2822.45/2829.99 c #Conflicts: 1548000 | #Constraints: 54562
2822.45/2829.99 c #Conflicts: 1549000 | #Constraints: 55562
2822.45/2829.99 c #Conflicts: 1550000 | #Constraints: 56562
2822.45/2829.99 c #Conflicts: 1551000 | #Constraints: 57562
2822.45/2829.99 c #Conflicts: 1552000 | #Constraints: 58562
2822.45/2829.99 c #Conflicts: 1553000 | #Constraints: 59562
2822.45/2829.99 c #Conflicts: 1554000 | #Constraints: 60562
2822.45/2829.99 c #Conflicts: 1555000 | #Constraints: 61562
2822.45/2829.99 c #Conflicts: 1556000 | #Constraints: 62562
2822.45/2829.99 c #Conflicts: 1557000 | #Constraints: 63562
2822.45/2829.99 c #Conflicts: 1558000 | #Constraints: 64562
2822.45/2829.99 c #Conflicts: 1559000 | #Constraints: 65562
2822.45/2829.99 c #Conflicts: 1560000 | #Constraints: 66562
2822.45/2829.99 c #Conflicts: 1561000 | #Constraints: 67562
2822.45/2829.99 c #Conflicts: 1562000 | #Constraints: 68562
2822.45/2829.99 c #Conflicts: 1563000 | #Constraints: 69562
2822.45/2829.99 c #Conflicts: 1564000 | #Constraints: 70562
2822.45/2829.99 c #Conflicts: 1565000 | #Constraints: 71562
2822.45/2829.99 c #Conflicts: 1566000 | #Constraints: 72562
2822.45/2829.99 c #Conflicts: 1567000 | #Constraints: 73562
2822.45/2829.99 c #Conflicts: 1568000 | #Constraints: 74562
2822.45/2829.99 c #Conflicts: 1569000 | #Constraints: 75562
2822.45/2829.99 c #Conflicts: 1570000 | #Constraints: 76562
2822.45/2829.99 c #Conflicts: 1571000 | #Constraints: 77562
2822.45/2829.99 c #Conflicts: 1572000 | #Constraints: 78562
2822.45/2829.99 c #Conflicts: 1573000 | #Constraints: 79562
2822.45/2829.99 c #Conflicts: 1574000 | #Constraints: 80562
2822.45/2829.99 c #Conflicts: 1575000 | #Constraints: 81562
2822.45/2829.99 c #Conflicts: 1576000 | #Constraints: 82562
2822.45/2829.99 c #Conflicts: 1577000 | #Constraints: 83562
2822.45/2829.99 c #Conflicts: 1578000 | #Constraints: 84562
2822.45/2829.99 c #Conflicts: 1579000 | #Constraints: 85562
2822.45/2829.99 c #Conflicts: 1580000 | #Constraints: 86562
2822.45/2829.99 c #Conflicts: 1581000 | #Constraints: 87562
2822.45/2829.99 c #Conflicts: 1582000 | #Constraints: 88562
2822.45/2829.99 c #Conflicts: 1583000 | #Constraints: 89562
2822.45/2829.99 c #Conflicts: 1584000 | #Constraints: 90562
2822.45/2829.99 c #Conflicts: 1585000 | #Constraints: 91562
2822.45/2829.99 c #Conflicts: 1586000 | #Constraints: 92562
2822.45/2829.99 c #Conflicts: 1587000 | #Constraints: 93562
2822.45/2829.99 c #Conflicts: 1588000 | #Constraints: 94562
2822.45/2829.99 c #Conflicts: 1589000 | #Constraints: 95562
2822.45/2829.99 c #Conflicts: 1590000 | #Constraints: 96562
2822.45/2829.99 c #Conflicts: 1591000 | #Constraints: 97562
2822.45/2829.99 c #Conflicts: 1592000 | #Constraints: 98562
2822.45/2829.99 c #Conflicts: 1593000 | #Constraints: 99562
2822.45/2829.99 c #Conflicts: 1594000 | #Constraints: 100562
2822.45/2829.99 c #Conflicts: 1595000 | #Constraints: 101562
2822.45/2829.99 c #Conflicts: 1596000 | #Constraints: 102562
2822.45/2829.99 c #Conflicts: 1597000 | #Constraints: 103562
2822.45/2829.99 c #Conflicts: 1598000 | #Constraints: 104562
2822.45/2829.99 c #Conflicts: 1599000 | #Constraints: 105562
2822.45/2829.99 c #Conflicts: 1600000 | #Constraints: 106562
2822.45/2829.99 c #Conflicts: 1601000 | #Constraints: 107562
2822.45/2829.99 c #Conflicts: 1602000 | #Constraints: 108562
2822.45/2829.99 c #Conflicts: 1603000 | #Constraints: 109562
2941.69/2949.55 c #Conflicts: 1604000 | #Constraints: 110562
2941.69/2949.55 c #Conflicts: 1605000 | #Constraints: 111562
2941.69/2949.55 c #Conflicts: 1606000 | #Constraints: 112562
2941.69/2949.55 c #Conflicts: 1607000 | #Constraints: 113562
2941.69/2949.55 c #Conflicts: 1608000 | #Constraints: 114562
2941.69/2949.55 c #Conflicts: 1609000 | #Constraints: 115562
2941.69/2949.55 c #Conflicts: 1610000 | #Constraints: 116562
2941.69/2949.55 c #Conflicts: 1611000 | #Constraints: 117562
2941.69/2949.55 c #Conflicts: 1612000 | #Constraints: 118562
2941.69/2949.55 c #Conflicts: 1613000 | #Constraints: 119562
2941.69/2949.55 c #Conflicts: 1614000 | #Constraints: 120562
2941.69/2949.55 c #Conflicts: 1615000 | #Constraints: 121562
2941.69/2949.55 c #Conflicts: 1616000 | #Constraints: 122562
2941.69/2949.55 c #Conflicts: 1617000 | #Constraints: 123562
2941.69/2949.55 c #Conflicts: 1618000 | #Constraints: 124562
2941.69/2949.55 c #Conflicts: 1619000 | #Constraints: 125562
2941.69/2949.55 c #Conflicts: 1620000 | #Constraints: 126562
2941.69/2949.55 c #Conflicts: 1621000 | #Constraints: 127562
2941.69/2949.55 c #Conflicts: 1622000 | #Constraints: 128562
2941.69/2949.55 c #Conflicts: 1623000 | #Constraints: 129562
2941.69/2949.55 c #Conflicts: 1624000 | #Constraints: 130562
2941.69/2949.55 c #Conflicts: 1625000 | #Constraints: 131562
2941.69/2949.55 c #Conflicts: 1626000 | #Constraints: 132562
2941.69/2949.55 c #Conflicts: 1627000 | #Constraints: 133562
2941.69/2949.55 c INPROCESSING
2941.69/2949.55 c GARBAGE COLLECT
2941.69/2949.55 c rational objective 92
3019.26/3027.38 c #Conflicts: 1628000 | #Constraints: 71202
3019.26/3027.38 c #Conflicts: 1629000 | #Constraints: 72202
3019.26/3027.38 c #Conflicts: 1630000 | #Constraints: 73202
3019.26/3027.38 c #Conflicts: 1631000 | #Constraints: 74202
3019.26/3027.38 c #Conflicts: 1632000 | #Constraints: 75202
3019.26/3027.38 c #Conflicts: 1633000 | #Constraints: 76202
3019.26/3027.38 c #Conflicts: 1634000 | #Constraints: 77202
3019.26/3027.38 c #Conflicts: 1635000 | #Constraints: 78202
3019.26/3027.38 c #Conflicts: 1636000 | #Constraints: 79202
3019.26/3027.38 c #Conflicts: 1637000 | #Constraints: 80202
3019.26/3027.38 c #Conflicts: 1638000 | #Constraints: 81202
3019.26/3027.38 c #Conflicts: 1639000 | #Constraints: 82202
3019.26/3027.38 c #Conflicts: 1640000 | #Constraints: 83202
3019.26/3027.38 c #Conflicts: 1641000 | #Constraints: 84202
3019.26/3027.38 c #Conflicts: 1642000 | #Constraints: 85202
3019.26/3027.38 c #Conflicts: 1643000 | #Constraints: 86202
3019.26/3027.38 c #Conflicts: 1644000 | #Constraints: 87202
3019.26/3027.38 c #Conflicts: 1645000 | #Constraints: 88202
3019.26/3027.38 c #Conflicts: 1646000 | #Constraints: 89202
3019.26/3027.38 c #Conflicts: 1647000 | #Constraints: 90202
3019.26/3027.38 c #Conflicts: 1648000 | #Constraints: 91202
3019.26/3027.38 c #Conflicts: 1649000 | #Constraints: 92202
3019.26/3027.38 c #Conflicts: 1650000 | #Constraints: 93202
3019.26/3027.38 c #Conflicts: 1651000 | #Constraints: 94202
3019.26/3027.38 c #Conflicts: 1652000 | #Constraints: 95202
3019.26/3027.38 c #Conflicts: 1653000 | #Constraints: 96202
3019.26/3027.38 c #Conflicts: 1654000 | #Constraints: 97202
3019.26/3027.38 c #Conflicts: 1655000 | #Constraints: 98202
3019.26/3027.38 c #Conflicts: 1656000 | #Constraints: 99202
3019.26/3027.38 c INPROCESSING
3019.26/3027.38 c GARBAGE COLLECT
3019.26/3027.38 c rational objective 92
3077.39/3085.66 c #Conflicts: 1657000 | #Constraints: 54263
3077.39/3085.66 c #Conflicts: 1658000 | #Constraints: 55263
3077.39/3085.66 c #Conflicts: 1659000 | #Constraints: 56263
3077.39/3085.66 c #Conflicts: 1660000 | #Constraints: 57263
3077.39/3085.66 c #Conflicts: 1661000 | #Constraints: 58263
3077.39/3085.66 c #Conflicts: 1662000 | #Constraints: 59263
3077.39/3085.66 c #Conflicts: 1663000 | #Constraints: 60263
3077.39/3085.66 c #Conflicts: 1664000 | #Constraints: 61263
3077.39/3085.66 c #Conflicts: 1665000 | #Constraints: 62263
3077.39/3085.66 c #Conflicts: 1666000 | #Constraints: 63263
3077.39/3085.66 c #Conflicts: 1667000 | #Constraints: 64263
3077.39/3085.66 c #Conflicts: 1668000 | #Constraints: 65263
3077.39/3085.66 c #Conflicts: 1669000 | #Constraints: 66263
3077.39/3085.66 c #Conflicts: 1670000 | #Constraints: 67263
3077.39/3085.66 c #Conflicts: 1671000 | #Constraints: 68263
3077.39/3085.66 c #Conflicts: 1672000 | #Constraints: 69263
3077.39/3085.66 c #Conflicts: 1673000 | #Constraints: 70263
3077.39/3085.66 c #Conflicts: 1674000 | #Constraints: 71263
3077.39/3085.66 c #Conflicts: 1675000 | #Constraints: 72263
3077.39/3085.66 c #Conflicts: 1676000 | #Constraints: 73263
3077.39/3085.66 c #Conflicts: 1677000 | #Constraints: 74263
3077.39/3085.66 c #Conflicts: 1678000 | #Constraints: 75263
3077.39/3085.66 c #Conflicts: 1679000 | #Constraints: 76263
3077.39/3085.66 c #Conflicts: 1680000 | #Constraints: 77263
3077.39/3085.66 c #Conflicts: 1681000 | #Constraints: 78263
3077.39/3085.66 c #Conflicts: 1682000 | #Constraints: 79263
3077.39/3085.66 c #Conflicts: 1683000 | #Constraints: 80263
3077.39/3085.66 c #Conflicts: 1684000 | #Constraints: 81263
3077.39/3085.66 c INPROCESSING
3077.39/3085.66 c GARBAGE COLLECT
3077.39/3085.66 c rational objective 92
3148.09/3156.57 c #Conflicts: 1685000 | #Constraints: 44890
3148.09/3156.57 c #Conflicts: 1686000 | #Constraints: 45890
3148.09/3156.57 c #Conflicts: 1687000 | #Constraints: 46890
3148.09/3156.57 c #Conflicts: 1688000 | #Constraints: 47890
3148.09/3156.57 c #Conflicts: 1689000 | #Constraints: 48890
3148.09/3156.57 c #Conflicts: 1690000 | #Constraints: 49890
3148.09/3156.57 c #Conflicts: 1691000 | #Constraints: 50890
3148.09/3156.57 c #Conflicts: 1692000 | #Constraints: 51891
3148.09/3156.57 c #Conflicts: 1693000 | #Constraints: 52891
3148.09/3156.57 c #Conflicts: 1694000 | #Constraints: 53891
3148.09/3156.57 c #Conflicts: 1695000 | #Constraints: 54891
3148.09/3156.57 c #Conflicts: 1696000 | #Constraints: 55891
3148.09/3156.57 c #Conflicts: 1697000 | #Constraints: 56891
3148.09/3156.57 c #Conflicts: 1698000 | #Constraints: 57891
3148.09/3156.57 c #Conflicts: 1699000 | #Constraints: 58891
3148.09/3156.57 c #Conflicts: 1700000 | #Constraints: 59891
3148.09/3156.57 c #Conflicts: 1701000 | #Constraints: 60891
3148.09/3156.57 c #Conflicts: 1702000 | #Constraints: 61891
3148.09/3156.57 c #Conflicts: 1703000 | #Constraints: 62891
3148.09/3156.57 c #Conflicts: 1704000 | #Constraints: 63891
3148.09/3156.57 c #Conflicts: 1705000 | #Constraints: 64891
3148.09/3156.57 c #Conflicts: 1706000 | #Constraints: 65891
3148.09/3156.57 c #Conflicts: 1707000 | #Constraints: 66891
3148.09/3156.57 c #Conflicts: 1708000 | #Constraints: 67891
3148.09/3156.57 c #Conflicts: 1709000 | #Constraints: 68891
3148.09/3156.57 c #Conflicts: 1710000 | #Constraints: 69891
3148.09/3156.57 c #Conflicts: 1711000 | #Constraints: 70891
3148.09/3156.57 c #Conflicts: 1712000 | #Constraints: 71891
3148.09/3156.57 c #Conflicts: 1713000 | #Constraints: 72891
3148.09/3156.57 c INPROCESSING
3148.09/3156.57 c GARBAGE COLLECT
3148.09/3156.57 c rational objective 92
3275.32/3284.12 c #Conflicts: 1714000 | #Constraints: 40695
3275.32/3284.12 c #Conflicts: 1715000 | #Constraints: 41695
3275.32/3284.12 c #Conflicts: 1716000 | #Constraints: 42695
3275.32/3284.12 c #Conflicts: 1717000 | #Constraints: 43695
3275.32/3284.12 c #Conflicts: 1718000 | #Constraints: 44695
3275.32/3284.12 c #Conflicts: 1719000 | #Constraints: 45695
3275.32/3284.12 c #Conflicts: 1720000 | #Constraints: 46695
3275.32/3284.12 c #Conflicts: 1721000 | #Constraints: 47695
3275.32/3284.12 c #Conflicts: 1722000 | #Constraints: 48695
3275.32/3284.12 c #Conflicts: 1723000 | #Constraints: 49695
3275.32/3284.12 c #Conflicts: 1724000 | #Constraints: 50695
3275.32/3284.12 c #Conflicts: 1725000 | #Constraints: 51695
3275.32/3284.12 c #Conflicts: 1726000 | #Constraints: 52695
3275.32/3284.12 c #Conflicts: 1727000 | #Constraints: 53695
3275.32/3284.12 c #Conflicts: 1728000 | #Constraints: 54695
3275.32/3284.12 c #Conflicts: 1729000 | #Constraints: 55695
3275.32/3284.12 c #Conflicts: 1730000 | #Constraints: 56695
3275.32/3284.12 c #Conflicts: 1731000 | #Constraints: 57695
3275.32/3284.12 c #Conflicts: 1732000 | #Constraints: 58695
3275.32/3284.12 c #Conflicts: 1733000 | #Constraints: 59695
3275.32/3284.12 c #Conflicts: 1734000 | #Constraints: 60695
3275.32/3284.12 c #Conflicts: 1735000 | #Constraints: 61695
3275.32/3284.12 c #Conflicts: 1736000 | #Constraints: 62695
3275.32/3284.12 c #Conflicts: 1737000 | #Constraints: 63695
3275.32/3284.12 c #Conflicts: 1738000 | #Constraints: 64695
3275.32/3284.12 c #Conflicts: 1739000 | #Constraints: 65695
3275.32/3284.12 c #Conflicts: 1740000 | #Constraints: 66695
3275.32/3284.12 c #Conflicts: 1741000 | #Constraints: 67695
3275.32/3284.12 c #Conflicts: 1742000 | #Constraints: 68695
3275.32/3284.12 c #Conflicts: 1743000 | #Constraints: 69695
3275.32/3284.12 c INPROCESSING
3275.32/3284.12 c GARBAGE COLLECT
3275.32/3284.12 c #Conflicts: 1744000 | #Constraints: 39470
3275.32/3284.12 c #Conflicts: 1745000 | #Constraints: 40470
3275.32/3284.12 c #Conflicts: 1746000 | #Constraints: 41470
3275.32/3284.12 c #Conflicts: 1747000 | #Constraints: 42470
3275.32/3284.12 c #Conflicts: 1748000 | #Constraints: 43470
3275.32/3284.12 c #Conflicts: 1749000 | #Constraints: 44470
3275.32/3284.12 c #Conflicts: 1750000 | #Constraints: 45470
3275.32/3284.12 c #Conflicts: 1751000 | #Constraints: 46470
3275.32/3284.12 c #Conflicts: 1752000 | #Constraints: 47470
3275.32/3284.12 c #Conflicts: 1753000 | #Constraints: 48470
3275.32/3284.12 c #Conflicts: 1754000 | #Constraints: 49470
3275.32/3284.12 c #Conflicts: 1755000 | #Constraints: 50470
3275.32/3284.12 c #Conflicts: 1756000 | #Constraints: 51470
3275.32/3284.12 c #Conflicts: 1757000 | #Constraints: 52470
3275.32/3284.12 c #Conflicts: 1758000 | #Constraints: 53470
3275.32/3284.12 c #Conflicts: 1759000 | #Constraints: 54470
3275.32/3284.12 c #Conflicts: 1760000 | #Constraints: 55470
3275.32/3284.12 c #Conflicts: 1761000 | #Constraints: 56470
3275.32/3284.12 c #Conflicts: 1762000 | #Constraints: 57470
3275.32/3284.12 c #Conflicts: 1763000 | #Constraints: 58470
3275.32/3284.12 c #Conflicts: 1764000 | #Constraints: 59470
3275.32/3284.12 c #Conflicts: 1765000 | #Constraints: 60470
3275.32/3284.12 c #Conflicts: 1766000 | #Constraints: 61470
3275.32/3284.12 c #Conflicts: 1767000 | #Constraints: 62470
3275.32/3284.12 c #Conflicts: 1768000 | #Constraints: 63470
3275.32/3284.12 c #Conflicts: 1769000 | #Constraints: 64470
3275.32/3284.12 c #Conflicts: 1770000 | #Constraints: 65470
3275.32/3284.12 c #Conflicts: 1771000 | #Constraints: 66470
3275.32/3284.12 c #Conflicts: 1772000 | #Constraints: 67470
3275.32/3284.12 c INPROCESSING
3275.32/3284.12 c GARBAGE COLLECT
3275.32/3284.12 c #Conflicts: 1773000 | #Constraints: 38089
3275.32/3284.12 c #Conflicts: 1774000 | #Constraints: 39089
3275.32/3284.12 c #Conflicts: 1775000 | #Constraints: 40089
3275.32/3284.12 c #Conflicts: 1776000 | #Constraints: 41089
3275.32/3284.12 c #Conflicts: 1777000 | #Constraints: 42089
3275.32/3284.12 c #Conflicts: 1778000 | #Constraints: 43089
3275.32/3284.12 c #Conflicts: 1779000 | #Constraints: 44089
3275.32/3284.12 c #Conflicts: 1780000 | #Constraints: 45089
3275.32/3284.12 c #Conflicts: 1781000 | #Constraints: 46089
3275.32/3284.12 c #Conflicts: 1782000 | #Constraints: 47089
3275.32/3284.12 c #Conflicts: 1783000 | #Constraints: 48089
3275.32/3284.12 c #Conflicts: 1784000 | #Constraints: 49089
3275.32/3284.12 c #Conflicts: 1785000 | #Constraints: 50089
3275.32/3284.12 c #Conflicts: 1786000 | #Constraints: 51089
3275.32/3284.12 c #Conflicts: 1787000 | #Constraints: 52089
3275.32/3284.12 c #Conflicts: 1788000 | #Constraints: 53089
3275.32/3284.12 c #Conflicts: 1789000 | #Constraints: 54089
3275.32/3284.12 c #Conflicts: 1790000 | #Constraints: 55089
3275.32/3284.12 c #Conflicts: 1791000 | #Constraints: 56089
3581.71/3591.48 c #Conflicts: 1792000 | #Constraints: 57089
3581.71/3591.48 c #Conflicts: 1793000 | #Constraints: 58089
3581.71/3591.48 c #Conflicts: 1794000 | #Constraints: 59089
3581.71/3591.48 c #Conflicts: 1795000 | #Constraints: 60089
3581.71/3591.48 c #Conflicts: 1796000 | #Constraints: 61089
3581.71/3591.48 c #Conflicts: 1797000 | #Constraints: 62089
3581.71/3591.48 c #Conflicts: 1798000 | #Constraints: 63089
3581.71/3591.48 c #Conflicts: 1799000 | #Constraints: 64089
3581.71/3591.48 c #Conflicts: 1800000 | #Constraints: 65089
3581.71/3591.48 c #Conflicts: 1801000 | #Constraints: 66089
3581.71/3591.48 c #Conflicts: 1802000 | #Constraints: 67089
3581.71/3591.48 c #Conflicts: 1803000 | #Constraints: 68089
3581.71/3591.48 c #Conflicts: 1804000 | #Constraints: 69089
3581.71/3591.48 c #Conflicts: 1805000 | #Constraints: 70089
3581.71/3591.48 c #Conflicts: 1806000 | #Constraints: 71089
3581.71/3591.48 c #Conflicts: 1807000 | #Constraints: 72089
3581.71/3591.48 c #Conflicts: 1808000 | #Constraints: 73089
3581.71/3591.48 c #Conflicts: 1809000 | #Constraints: 74089
3581.71/3591.48 c #Conflicts: 1810000 | #Constraints: 75089
3581.71/3591.48 c #Conflicts: 1811000 | #Constraints: 76089
3581.71/3591.49 c #Conflicts: 1812000 | #Constraints: 77089
3581.71/3591.49 c #Conflicts: 1813000 | #Constraints: 78089
3581.71/3591.49 c #Conflicts: 1814000 | #Constraints: 79089
3581.71/3591.49 c #Conflicts: 1815000 | #Constraints: 80089
3581.71/3591.49 c #Conflicts: 1816000 | #Constraints: 81089
3581.71/3591.49 c #Conflicts: 1817000 | #Constraints: 82089
3581.71/3591.49 c #Conflicts: 1818000 | #Constraints: 83089
3581.71/3591.49 c #Conflicts: 1819000 | #Constraints: 84089
3581.71/3591.49 c #Conflicts: 1820000 | #Constraints: 85089
3581.71/3591.49 c #Conflicts: 1821000 | #Constraints: 86089
3581.71/3591.49 c #Conflicts: 1822000 | #Constraints: 87089
3581.71/3591.49 c #Conflicts: 1823000 | #Constraints: 88089
3581.71/3591.49 c #Conflicts: 1824000 | #Constraints: 89089
3581.71/3591.49 c #Conflicts: 1825000 | #Constraints: 90089
3581.71/3591.49 c #Conflicts: 1826000 | #Constraints: 91089
3581.71/3591.49 c #Conflicts: 1827000 | #Constraints: 92089
3581.71/3591.49 c #Conflicts: 1828000 | #Constraints: 93089
3581.71/3591.49 c #Conflicts: 1829000 | #Constraints: 94089
3581.71/3591.49 c #Conflicts: 1830000 | #Constraints: 95089
3581.71/3591.49 c #Conflicts: 1831000 | #Constraints: 96089
3581.71/3591.49 c #Conflicts: 1832000 | #Constraints: 97089
3581.71/3591.49 c #Conflicts: 1833000 | #Constraints: 98089
3581.71/3591.49 c #Conflicts: 1834000 | #Constraints: 99089
3581.71/3591.49 c #Conflicts: 1835000 | #Constraints: 100089
3581.71/3591.49 c #Conflicts: 1836000 | #Constraints: 101089
3581.71/3591.49 c #Conflicts: 1837000 | #Constraints: 102089
3581.71/3591.49 c #Conflicts: 1838000 | #Constraints: 103089
3581.71/3591.49 c #Conflicts: 1839000 | #Constraints: 104089
3581.71/3591.49 c #Conflicts: 1840000 | #Constraints: 105089
3581.71/3591.49 c #Conflicts: 1841000 | #Constraints: 106089
3581.71/3591.49 c #Conflicts: 1842000 | #Constraints: 107089
3581.71/3591.49 c #Conflicts: 1843000 | #Constraints: 108089
3581.71/3591.49 c #Conflicts: 1844000 | #Constraints: 109089
3581.71/3591.49 c #Conflicts: 1845000 | #Constraints: 110089
3581.71/3591.49 c #Conflicts: 1846000 | #Constraints: 111089
3581.71/3591.49 c #Conflicts: 1847000 | #Constraints: 112089
3581.71/3591.49 c #Conflicts: 1848000 | #Constraints: 113089
3581.71/3591.49 c #Conflicts: 1849000 | #Constraints: 114089
3581.71/3591.49 c #Conflicts: 1850000 | #Constraints: 115089
3581.71/3591.49 c #Conflicts: 1851000 | #Constraints: 116089
3581.71/3591.49 c #Conflicts: 1852000 | #Constraints: 117089
3581.71/3591.49 c #Conflicts: 1853000 | #Constraints: 118089
3581.71/3591.49 c #Conflicts: 1854000 | #Constraints: 119089
3581.71/3591.49 c #Conflicts: 1855000 | #Constraints: 120089
3581.71/3591.49 c #Conflicts: 1856000 | #Constraints: 121089
3581.71/3591.49 c #Conflicts: 1857000 | #Constraints: 122089
3581.71/3591.49 c #Conflicts: 1858000 | #Constraints: 123089
3581.71/3591.49 c #Conflicts: 1859000 | #Constraints: 124089
3581.71/3591.49 c #Conflicts: 1860000 | #Constraints: 125089
3581.71/3591.49 c #Conflicts: 1861000 | #Constraints: 126089
3581.71/3591.49 c #Conflicts: 1862000 | #Constraints: 127089
3581.71/3591.49 c #Conflicts: 1863000 | #Constraints: 128089
3581.71/3591.49 c #Conflicts: 1864000 | #Constraints: 129089
3581.71/3591.49 c #Conflicts: 1865000 | #Constraints: 130089
3581.71/3591.49 c #Conflicts: 1866000 | #Constraints: 131089
3581.71/3591.49 c #Conflicts: 1867000 | #Constraints: 132089
3581.71/3591.49 c #Conflicts: 1868000 | #Constraints: 133089
3581.71/3591.49 c #Conflicts: 1869000 | #Constraints: 134089
3581.71/3591.49 c #Conflicts: 1870000 | #Constraints: 135089
3600.06/3609.80 c #Conflicts: 1871000 | #Constraints: 136089
3600.06/3609.80 c #Conflicts: 1872000 | #Constraints: 137089
3600.06/3609.80 c #Conflicts: 1873000 | #Constraints: 138089
3600.06/3609.80 c cpu time 3576.26 s
3600.06/3609.80 c deterministic time 259138767290 2.59e+11
3600.06/3609.80 c optimization time 347.155 s
3600.06/3609.80 c total solve time 3229.07 s
3600.06/3609.80 c core-guided solve time 0 s
3600.06/3609.80 c propagation time 2004.85 s
3600.06/3609.80 c conflict analysis time 1370.85 s
3600.06/3609.80 c propagations 913968235
3600.06/3609.80 c resolve steps 83478980
3600.06/3609.80 c decisions 13638563
3600.06/3609.80 c conflicts 1873027
3600.06/3609.80 c restarts 3580
3600.06/3609.80 c inprocessing phases 84
3600.06/3609.80 c garbage collections 84 ,( 100.00 )
3600.06/3609.80 c input clauses 6350 ,( 98.57 )
3600.06/3609.80 c input cardinalities 92 ,( 1.43 )
3600.06/3609.80 c input general constraints 0 ,( 0.00 )
3600.06/3609.80 c input average constraint length 6.23
3600.06/3609.80 c input average constraint degree 1.94
3600.06/3609.80 c learned clauses 1440766 ,( 76.92 )
3600.06/3609.80 c learned cardinalities 30711 ,( 1.64 )
3600.06/3609.80 c learned general constraints 401581 ,( 21.44 )
3600.06/3609.80 c learned average constraint length 682.73
3600.06/3609.80 c learned average constraint degree 9149271.45
3600.06/3609.80 c watched CF 32, 64, 128, Arb: 130638 , 0 , 0 , 0
3600.06/3609.80 c counting CF 32, 64, 128, Arb: 270943 , 0 , 0 , 0
3600.06/3609.80 c watched constraints 130638 ,( 32.53 )
3600.06/3609.80 c counting constraints 270943 ,( 67.47 )
3600.06/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1471359509 , 663623688 , 3247693271 ,( 148386538 , 3099306733 )
3600.06/3609.80 c gcd simplifications 1175
3600.06/3609.80 c detected cardinalities 1893
3600.06/3609.80 c weakened non-implied lits 365155647
3600.06/3609.80 c weakened non-implying lits 258634
3600.06/3609.80 c original variables 6256
3600.06/3609.80 c clausal propagations 341731040
3600.06/3609.80 c cardinality propagations 344553887
3600.06/3609.80 c watched propagations 4764085
3600.06/3609.80 c counting propagations 216532570
3600.06/3609.80 c watch lookups 140568546243
3600.06/3609.80 c watch backjump lookups 0
3600.06/3609.80 c watch checks 38916097470
3600.06/3609.80 c propagation checks 73336193900
3600.06/3609.80 c constraint additions 4460470470
3600.06/3609.80 c trail pops 929474273
3600.06/3609.80 c formula constraints 6442
3600.06/3609.80 c learned constraints 1873014
3600.06/3609.80 c bound constraints 0
3600.06/3609.80 c core-guided constraints 0
3600.06/3609.80 c encountered formula constraints 49524268
3600.06/3609.80 c encountered learned constraints 35827638
3600.06/3609.80 c encountered bound constraints 0
3600.06/3609.80 c encountered core-guided constraints 0
3600.06/3609.80 c LP total time 183.017 s
3600.06/3609.80 c LP solve time 137.64 s
3600.06/3609.80 c LP constraints added 8443
3600.06/3609.80 c LP constraints removed 1878
3600.06/3609.80 c LP pivots internal 192250
3600.06/3609.80 c LP pivots root 185885
3600.06/3609.80 c LP calls 49
3600.06/3609.80 c LP optimalities 32
3600.06/3609.80 c LP no pivot count 2
3600.06/3609.80 c LP infeasibilities 12
3600.06/3609.80 c LP valid Farkas constraints 12
3600.06/3609.80 c LP learned Farkas constraints 12
3600.06/3609.80 c LP basis resets 0
3600.06/3609.80 c LP cycling count 0
3600.06/3609.80 c LP singular count 0
3600.06/3609.80 c LP no primal count 0
3600.06/3609.80 c LP no farkas count 0
3600.06/3609.80 c LP other issue count 0
3600.06/3609.80 c LP Gomory cuts 20
3600.06/3609.80 c LP learned cuts 1981
3600.06/3609.80 c LP deleted cuts 1878
3600.06/3609.80 c LP encountered Gomory constraints 28
3600.06/3609.80 c LP encountered Farkas constraints 50
3600.06/3609.80 c LP encountered learned Farkas constraints 11
3600.06/3609.80 c CG auxiliary variables introduced 0
3600.06/3609.80 c CG solutions found 0
3600.06/3609.80 c CG cores constructed 0
3600.06/3609.80 c CG core cardinality constraints returned 0
3600.06/3609.80 c CG unit cores 0
3600.06/3609.80 c CG single cores 0
3600.06/3609.80 c CG blocks removed during cardinality reduction 0
3600.06/3609.80 c CG first core best 0
3600.06/3609.80 c CG decision core best 0
3600.06/3609.80 c CG core reduction tie 0
3600.06/3609.80 c CG core degree average 0.00
3600.06/3609.80 c CG core slack average 0.00
3600.06/3609.80 c CG core upper bound improvements 0
3600.06/3609.80 c STR number of successful calls 0
3600.06/3609.80 c STR number of unsuccessful calls 0
3600.06/3609.80 c STR number of inconclusive calls 0
3600.06/3609.80 c STR number of successful attempts 0
3600.06/3609.80 c STR number of unsuccessful attempts 0
3600.06/3609.80 c STR number of inconclusive attempts 0
3600.06/3609.80 c STR average degree increase per successful call inf
3600.06/3609.80 c STR average degree increase per successful attempt inf
3600.06/3609.80 c STR total number of conflicts for successful attempts 0
3600.06/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.80 c STR average number of conflicts per successful attempt inf
3600.06/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.80 c AVG.sumWPerc 59.48
3600.06/3609.80 c bigint constraints 0
3600.06/3609.80 s UNKNOWN
3600.06/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62876 MiB free)
memory of node 1: 64507 MiB (64056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507301-1751183146/watcher-4507301-1751183146 -o /tmp/evaluation-result-4507301-1751183146/solver-4507301-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24186 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507301-1751183146.opb PROOFDIR/proof-4507301-1751183146
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=24229, runsolver pid=24225
[startup+0.100062 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129926304/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=70820 memory=25196 CPUtime=0.07 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 4358 0 0 0 6 1 0 0 20 0 1 0 33994854 72519680 6299 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 17705 6299 2272 1147 0 5132 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 75012 KiB
Current children cumulated memory: 28012 KiB
[startup+0.205593 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129881508/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=71224 memory=25964 CPUtime=0.18 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 4562 0 0 0 17 1 0 0 20 0 1 0 33994854 72933376 6491 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 17806 6491 2272 1147 0 5233 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75416 KiB
Current children cumulated memory: 28780 KiB
[startup+0.305408 s]*
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129877392/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=71740 memory=26220 CPUtime=0.28 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 4630 0 0 0 27 1 0 0 20 0 1 0 33994854 73461760 6555 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 17935 6555 2272 1147 0 5362 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75932 KiB
Current children cumulated memory: 29036 KiB
[startup+0.700178 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129875376/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=72740 memory=26988 CPUtime=0.66 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 4832 0 0 0 65 1 0 0 20 0 1 0 33994854 74485760 6747 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 18185 6747 2272 1147 0 5612 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 76932 KiB
Current children cumulated memory: 29804 KiB
[startup+1.50017 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129871344/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=75240 memory=31944 CPUtime=1.46 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 5499 0 0 0 141 5 0 0 20 0 1 0 33994854 77045760 7986 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 18810 7986 2336 1147 0 6237 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79432 KiB
Current children cumulated memory: 34760 KiB
[startup+3.10531 s]
/proc/loadavg: 0.88 1.12 1.86 5/272 24248
/proc/meminfo: memFree=129797640/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=83300 memory=38600 CPUtime=3.06 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 7167 0 0 0 294 12 0 0 20 0 1 0 33994854 85299200 9650 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 20825 9650 2336 1147 0 8252 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 87492 KiB
Current children cumulated memory: 41416 KiB
[startup+6.30014 s]
/proc/loadavg: 1.13 1.17 1.87 5/272 24248
/proc/meminfo: memFree=129735416/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=86896 memory=42184 CPUtime=6.25 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 8037 0 0 0 606 19 0 0 20 0 1 0 33994854 88981504 10546 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 21724 10546 2336 1147 0 9151 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 91088 KiB
Current children cumulated memory: 45000 KiB
[startup+12.7002 s]
/proc/loadavg: 1.36 1.21 1.88 5/272 24248
/proc/meminfo: memFree=129669764/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=93472 memory=46792 CPUtime=12.63 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 9198 0 0 0 1230 33 0 0 20 0 1 0 33994854 95715328 11698 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 23368 11698 2336 1147 0 10795 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 97664 KiB
Current children cumulated memory: 49608 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.92 5/272 24249
/proc/meminfo: memFree=129450480/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=106864 memory=60152 CPUtime=25.38 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 11523 0 0 0 2475 63 0 0 20 0 1 0 33994854 109428736 15038 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 26716 15038 2336 1147 0 14143 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 111056 KiB
Current children cumulated memory: 62968 KiB
[startup+51.1054 s]
/proc/loadavg: 2.69 1.58 1.98 5/272 24249
/proc/meminfo: memFree=128952716/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=156308 memory=101172 CPUtime=50.91 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 17184 0 0 0 4978 113 0 0 20 0 1 0 33994854 160059392 25293 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 39077 25293 2336 1147 0 26504 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 160500 KiB
Current children cumulated memory: 103988 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.99 2.10 5/273 24254
/proc/meminfo: memFree=128275724/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=209108 memory=133156 CPUtime=101.94 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 22630 0 0 0 10014 180 0 0 20 0 1 0 33994854 214126592 33289 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 52277 33289 2336 1147 0 39704 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 213300 KiB
Current children cumulated memory: 135972 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.22 5/274 24259
/proc/meminfo: memFree=127508508/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=264124 memory=207328 CPUtime=161.76 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 35572 0 0 0 15918 258 0 0 20 0 1 0 33994854 270462976 51832 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 66031 51832 2336 1147 0 53458 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 268316 KiB
Current children cumulated memory: 210144 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.34 5/273 24261
/proc/meminfo: memFree=126778580/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=321984 memory=253640 CPUtime=221.57 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 38475 0 0 0 21844 313 0 0 20 0 1 0 33994854 329711616 63410 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 80496 63410 2336 1147 0 67923 0
################
# More data... #
################
/proc/24237/statm: 241670 191454 2336 1147 0 229097 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/273 24418
/proc/meminfo: memFree=105444852/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3094.05 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85869 0 0 0 307253 2152 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/273 24423
/proc/meminfo: memFree=104990044/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3153.87 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85869 0 0 0 313195 2192 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/272 24425
/proc/meminfo: memFree=104575596/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3213.69 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85869 0 0 0 319142 2227 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/272 24427
/proc/meminfo: memFree=104214924/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3273.52 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85869 0 0 0 325082 2270 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/272 24430
/proc/meminfo: memFree=103822044/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3333.35 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85870 0 0 0 331034 2301 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/272 24433
/proc/meminfo: memFree=103548932/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3393.17 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85879 0 0 0 336993 2324 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 24435
/proc/meminfo: memFree=103299356/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=966680 memory=765944 CPUtime=3453 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 85888 0 0 0 342955 2345 0 0 20 0 1 0 33994854 989880320 191486 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 241670 191486 2336 1147 0 229097 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 970872 KiB
Current children cumulated memory: 768760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 24437
/proc/meminfo: memFree=103123376/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=968992 memory=767736 CPUtime=3512.81 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 86616 0 0 0 348921 2360 0 0 20 0 1 0 33994854 992247808 191934 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 242248 191934 2336 1147 0 229675 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 973184 KiB
Current children cumulated memory: 770552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 24439
/proc/meminfo: memFree=102880284/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=978464 memory=773496 CPUtime=3572.64 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 88053 0 0 0 354889 2375 0 0 20 0 1 0 33994854 1001947136 193374 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 244616 193374 2336 1147 0 232043 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 982656 KiB
Current children cumulated memory: 776312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 24441
/proc/meminfo: memFree=102753444/131250000 swapFree=33010684/33010684
[pid=24229] ppid=24225 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/24229/stat : 24229 (run-dec-log.sh) S 24225 24229 24175 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 33994854 4292608 704 18446744073709551615 93837722861568 93837723756101 140735015676464 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93837723995152 93837724042896 93837738684416 140735015684385 140735015684580 140735015684580 140735015690182 0
/proc/24229/statm: 1048 704 672 219 0 110 0
[pid=24237] ppid=24229 vsize=985636 memory=777848 CPUtime=3600.06 cores=4,6
/proc/24237/stat : 24237 (roundingsat) R 24229 24229 24175 0 -1 4194304 89170 0 0 0 357625 2381 0 0 20 0 1 0 33994854 1009291264 194462 18446744073709551615 4227072 8923433 140725439506064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19636224 140725439510887 140725439511080 140725439511080 140725439516650 0
/proc/24237/statm: 246409 194462 2336 1147 0 233836 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 989828 KiB
Current children cumulated memory: 780664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 24229 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001045 s, system=0.001038 s
[startup+3609.82 s]
# the end of solver process 24237 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.27 s, system=23.8193 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.82
CPU time (s): 3600.09
CPU user time (s): 3576.27
CPU system time (s): 23.8193
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 989828
Max. memory (cumulated for all children) (KiB): 780664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.27
system time used= 23.8193
maximum resident set size= 778232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11669400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 425
involuntary context switches= 5660
# summary of solver processes directly reported to runsolver:
# pid: 24229,24237
# total CPU time (s): 3600.09
# total CPU user time (s): 3576.27
# total CPU system time (s): 23.8193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9338 second user time and 15.7473 second system time
The end
Begin job on nodeC013 at 2025-06-29 09:45:46
IDJOB=4507301
IDBENCH=158341
IDSOLVER=3352
FILE ID=nodeC013/4507301-1751183146
RUNJOBID= nodeC013-1751183146-24186
SLURM_JOB_ID= 9587568
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507301-1751183146/watcher-4507301-1751183146 -o /tmp/evaluation-result-4507301-1751183146/solver-4507301-1751183146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751183146-24186 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4507301-1751183146.opb PROOFDIR/proof-4507301-1751183146
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1585000491
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.424
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.429
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3742.534
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.952
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129978956 kB
MemAvailable: 129812528 kB
Buffers: 3280 kB
Cached: 637452 kB
SwapCached: 0 kB
Active: 278696 kB
Inactive: 428648 kB
Active(anon): 79896 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 428648 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30780 kB
Writeback: 0 kB
AnonPages: 69964 kB
Mapped: 97964 kB
Shmem: 13284 kB
KReclaimable: 90328 kB
Slab: 175476 kB
SReclaimable: 90328 kB
SUnreclaim: 85148 kB
KernelStack: 4088 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 315716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 10:45:56