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 4482 #constraints 8965
0.00/0.07 c rational objective 0
105.58/105.94 c #Conflicts: 1000 | #Constraints: 9965
105.58/105.94 c #Conflicts: 2000 | #Constraints: 10965
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 3000 | #Constraints: 10987
105.58/105.94 c #Conflicts: 4000 | #Constraints: 11987
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 5000 | #Constraints: 11423
105.58/105.94 c #Conflicts: 6000 | #Constraints: 12423
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 7000 | #Constraints: 11447
105.58/105.94 c #Conflicts: 8000 | #Constraints: 12447
105.58/105.94 c #Conflicts: 9000 | #Constraints: 13447
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 10000 | #Constraints: 12161
105.58/105.94 c #Conflicts: 11000 | #Constraints: 13161
105.58/105.94 c #Conflicts: 12000 | #Constraints: 14161
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 13000 | #Constraints: 12638
105.58/105.94 c #Conflicts: 14000 | #Constraints: 13638
105.58/105.94 c #Conflicts: 15000 | #Constraints: 14638
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 16000 | #Constraints: 12886
105.58/105.94 c #Conflicts: 17000 | #Constraints: 13886
105.58/105.94 c #Conflicts: 18000 | #Constraints: 14886
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 19000 | #Constraints: 12911
105.58/105.94 c #Conflicts: 20000 | #Constraints: 13911
105.58/105.94 c #Conflicts: 21000 | #Constraints: 14911
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 22000 | #Constraints: 12742
105.58/105.94 c #Conflicts: 23000 | #Constraints: 13742
105.58/105.94 c #Conflicts: 24000 | #Constraints: 14742
105.58/105.94 c #Conflicts: 25000 | #Constraints: 15742
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 26000 | #Constraints: 13367
105.58/105.94 c #Conflicts: 27000 | #Constraints: 14367
105.58/105.94 c #Conflicts: 28000 | #Constraints: 15367
105.58/105.94 c #Conflicts: 29000 | #Constraints: 16367
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 30000 | #Constraints: 13771
105.58/105.94 c #Conflicts: 31000 | #Constraints: 14771
105.58/105.94 c #Conflicts: 32000 | #Constraints: 15771
105.58/105.94 c #Conflicts: 33000 | #Constraints: 16771
105.58/105.94 c #Conflicts: 34000 | #Constraints: 17771
105.58/105.94 c #Conflicts: 35000 | #Constraints: 18771
105.58/105.94 c #Conflicts: 36000 | #Constraints: 19771
105.58/105.94 c #Conflicts: 37000 | #Constraints: 20771
105.58/105.94 c #Conflicts: 38000 | #Constraints: 21771
105.58/105.94 c #Conflicts: 39000 | #Constraints: 22771
105.58/105.94 c #Conflicts: 40000 | #Constraints: 23771
105.58/105.94 c #Conflicts: 41000 | #Constraints: 24771
105.58/105.94 c #Conflicts: 42000 | #Constraints: 25771
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 43000 | #Constraints: 18079
105.58/105.94 c #Conflicts: 44000 | #Constraints: 19079
105.58/105.94 c #Conflicts: 45000 | #Constraints: 20079
105.58/105.94 c #Conflicts: 46000 | #Constraints: 21079
105.58/105.94 c #Conflicts: 47000 | #Constraints: 22079
105.58/105.94 c #Conflicts: 48000 | #Constraints: 23079
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 49000 | #Constraints: 17177
105.58/105.94 c #Conflicts: 50000 | #Constraints: 18177
105.58/105.94 c #Conflicts: 51000 | #Constraints: 19177
105.58/105.94 c #Conflicts: 52000 | #Constraints: 20177
105.58/105.94 c #Conflicts: 53000 | #Constraints: 21177
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 54000 | #Constraints: 16089
105.58/105.94 c #Conflicts: 55000 | #Constraints: 17089
105.58/105.94 c #Conflicts: 56000 | #Constraints: 18089
105.58/105.94 c #Conflicts: 57000 | #Constraints: 19089
105.58/105.94 c #Conflicts: 58000 | #Constraints: 20089
105.58/105.94 c INPROCESSING
105.58/105.94 c GARBAGE COLLECT
105.58/105.94 c #Conflicts: 59000 | #Constraints: 15315
105.58/105.94 c #Conflicts: 60000 | #Constraints: 16315
105.58/105.94 c #Conflicts: 61000 | #Constraints: 17315
105.58/105.94 c #Conflicts: 62000 | #Constraints: 18315
105.58/105.94 c #Conflicts: 63000 | #Constraints: 19315
105.58/105.94 c #Conflicts: 64000 | #Constraints: 20315
105.58/105.94 c #Conflicts: 65000 | #Constraints: 21315
105.58/105.94 c #Conflicts: 66000 | #Constraints: 22315
105.58/105.94 c #Conflicts: 67000 | #Constraints: 23315
105.58/105.94 c #Conflicts: 68000 | #Constraints: 24315
105.58/105.94 c #Conflicts: 69000 | #Constraints: 25315
105.58/105.94 c #Conflicts: 70000 | #Constraints: 26315
118.44/118.80 c #Conflicts: 71000 | #Constraints: 27315
118.44/118.80 c #Conflicts: 72000 | #Constraints: 28315
118.44/118.80 c #Conflicts: 73000 | #Constraints: 29315
118.44/118.80 c #Conflicts: 74000 | #Constraints: 30315
118.44/118.80 c #Conflicts: 75000 | #Constraints: 31315
118.44/118.80 c #Conflicts: 76000 | #Constraints: 32315
118.44/118.80 c #Conflicts: 77000 | #Constraints: 33315
118.44/118.80 c #Conflicts: 78000 | #Constraints: 34315
118.44/118.80 c INPROCESSING
118.44/118.80 c GARBAGE COLLECT
118.44/118.80 c rational objective 0
248.75/249.59 c #Conflicts: 79000 | #Constraints: 22885
248.75/249.59 c #Conflicts: 80000 | #Constraints: 23885
248.75/249.59 c #Conflicts: 81000 | #Constraints: 24885
248.75/249.59 c #Conflicts: 82000 | #Constraints: 25885
248.75/249.59 c #Conflicts: 83000 | #Constraints: 26885
248.75/249.59 c #Conflicts: 84000 | #Constraints: 27885
248.75/249.59 c INPROCESSING
248.75/249.59 c GARBAGE COLLECT
248.75/249.59 c #Conflicts: 85000 | #Constraints: 19301
248.75/249.59 c #Conflicts: 86000 | #Constraints: 20301
248.75/249.59 c #Conflicts: 87000 | #Constraints: 21301
248.75/249.59 c #Conflicts: 88000 | #Constraints: 22301
248.75/249.59 c #Conflicts: 89000 | #Constraints: 23301
248.75/249.59 c #Conflicts: 90000 | #Constraints: 24301
248.75/249.59 c #Conflicts: 91000 | #Constraints: 25301
248.75/249.59 c INPROCESSING
248.75/249.59 c GARBAGE COLLECT
248.75/249.59 c #Conflicts: 92000 | #Constraints: 17988
248.75/249.59 c #Conflicts: 93000 | #Constraints: 18988
248.75/249.59 c #Conflicts: 94000 | #Constraints: 19988
248.75/249.59 c #Conflicts: 95000 | #Constraints: 20988
248.75/249.59 c #Conflicts: 96000 | #Constraints: 21988
248.75/249.59 c #Conflicts: 97000 | #Constraints: 22988
248.75/249.59 c #Conflicts: 98000 | #Constraints: 23988
248.75/249.59 c #Conflicts: 99000 | #Constraints: 24988
248.75/249.59 c #Conflicts: 100000 | #Constraints: 25988
248.75/249.59 c #Conflicts: 101000 | #Constraints: 26988
248.75/249.59 c #Conflicts: 102000 | #Constraints: 27988
248.75/249.59 c #Conflicts: 103000 | #Constraints: 28988
248.75/249.59 c #Conflicts: 104000 | #Constraints: 29988
248.75/249.59 c #Conflicts: 105000 | #Constraints: 30988
248.75/249.59 c #Conflicts: 106000 | #Constraints: 31988
248.75/249.59 c #Conflicts: 107000 | #Constraints: 32988
248.75/249.59 c #Conflicts: 108000 | #Constraints: 33988
248.75/249.59 c #Conflicts: 109000 | #Constraints: 34988
248.75/249.59 c #Conflicts: 110000 | #Constraints: 35988
248.75/249.59 c #Conflicts: 111000 | #Constraints: 36988
248.75/249.59 c #Conflicts: 112000 | #Constraints: 37988
248.75/249.59 c #Conflicts: 113000 | #Constraints: 38988
248.75/249.59 c #Conflicts: 114000 | #Constraints: 39988
248.75/249.59 c #Conflicts: 115000 | #Constraints: 40988
248.75/249.59 c INPROCESSING
248.75/249.59 c GARBAGE COLLECT
248.75/249.59 c #Conflicts: 116000 | #Constraints: 26145
248.75/249.59 c #Conflicts: 117000 | #Constraints: 27145
248.75/249.59 c #Conflicts: 118000 | #Constraints: 28145
248.75/249.59 c #Conflicts: 119000 | #Constraints: 29145
248.75/249.59 c #Conflicts: 120000 | #Constraints: 30145
248.75/249.59 c #Conflicts: 121000 | #Constraints: 31145
248.75/249.59 c #Conflicts: 122000 | #Constraints: 32145
248.75/249.59 c #Conflicts: 123000 | #Constraints: 33145
248.75/249.59 c INPROCESSING
248.75/249.59 c GARBAGE COLLECT
248.75/249.59 c #Conflicts: 124000 | #Constraints: 22069
248.75/249.59 c #Conflicts: 125000 | #Constraints: 23069
248.75/249.59 c #Conflicts: 126000 | #Constraints: 24069
248.75/249.59 c #Conflicts: 127000 | #Constraints: 25069
248.75/249.59 c #Conflicts: 128000 | #Constraints: 26069
248.75/249.59 c #Conflicts: 129000 | #Constraints: 27069
248.75/249.59 c #Conflicts: 130000 | #Constraints: 28069
248.75/249.59 c #Conflicts: 131000 | #Constraints: 29069
248.75/249.59 c #Conflicts: 132000 | #Constraints: 30069
248.75/249.59 c INPROCESSING
248.75/249.59 c GARBAGE COLLECT
248.75/249.59 c #Conflicts: 133000 | #Constraints: 20807
248.75/249.59 c #Conflicts: 134000 | #Constraints: 21807
248.75/249.59 c #Conflicts: 135000 | #Constraints: 22807
248.75/249.59 c #Conflicts: 136000 | #Constraints: 23807
248.75/249.59 c #Conflicts: 137000 | #Constraints: 24807
248.75/249.59 c #Conflicts: 138000 | #Constraints: 25807
248.75/249.59 c #Conflicts: 139000 | #Constraints: 26807
248.75/249.59 c #Conflicts: 140000 | #Constraints: 27807
248.75/249.59 c #Conflicts: 141000 | #Constraints: 28807
248.75/249.59 c #Conflicts: 142000 | #Constraints: 29807
248.75/249.59 c #Conflicts: 143000 | #Constraints: 30807
248.75/249.59 c #Conflicts: 144000 | #Constraints: 31807
248.75/249.59 c #Conflicts: 145000 | #Constraints: 32807
248.75/249.59 c #Conflicts: 146000 | #Constraints: 33807
248.75/249.59 c #Conflicts: 147000 | #Constraints: 34807
248.75/249.59 c #Conflicts: 148000 | #Constraints: 35807
248.75/249.59 c #Conflicts: 149000 | #Constraints: 36807
248.75/249.59 c #Conflicts: 150000 | #Constraints: 37807
248.75/249.59 c #Conflicts: 151000 | #Constraints: 38807
248.75/249.59 c #Conflicts: 152000 | #Constraints: 39807
248.75/249.59 c #Conflicts: 153000 | #Constraints: 40807
248.75/249.59 c #Conflicts: 154000 | #Constraints: 41807
375.17/376.37 c #Conflicts: 155000 | #Constraints: 42807
375.17/376.37 c #Conflicts: 156000 | #Constraints: 43807
375.17/376.37 c #Conflicts: 157000 | #Constraints: 44807
375.17/376.37 c #Conflicts: 158000 | #Constraints: 45807
375.17/376.37 c #Conflicts: 159000 | #Constraints: 46807
375.17/376.37 c INPROCESSING
375.17/376.37 c GARBAGE COLLECT
375.17/376.37 c #Conflicts: 160000 | #Constraints: 28867
375.17/376.37 c #Conflicts: 161000 | #Constraints: 29867
375.17/376.37 c #Conflicts: 162000 | #Constraints: 30867
375.17/376.37 c #Conflicts: 163000 | #Constraints: 31867
375.17/376.37 c #Conflicts: 164000 | #Constraints: 32867
375.17/376.37 c #Conflicts: 165000 | #Constraints: 33867
375.17/376.37 c #Conflicts: 166000 | #Constraints: 34867
375.17/376.37 c #Conflicts: 167000 | #Constraints: 35867
375.17/376.37 c #Conflicts: 168000 | #Constraints: 36867
375.17/376.37 c #Conflicts: 169000 | #Constraints: 37867
375.17/376.37 c INPROCESSING
375.17/376.37 c GARBAGE COLLECT
375.17/376.37 c #Conflicts: 170000 | #Constraints: 24521
375.17/376.37 c #Conflicts: 171000 | #Constraints: 25521
375.17/376.37 c #Conflicts: 172000 | #Constraints: 26521
375.17/376.37 c #Conflicts: 173000 | #Constraints: 27521
375.17/376.37 c #Conflicts: 174000 | #Constraints: 28521
375.17/376.37 c #Conflicts: 175000 | #Constraints: 29521
375.17/376.37 c #Conflicts: 176000 | #Constraints: 30521
375.17/376.37 c #Conflicts: 177000 | #Constraints: 31521
375.17/376.37 c #Conflicts: 178000 | #Constraints: 32521
375.17/376.37 c #Conflicts: 179000 | #Constraints: 33521
375.17/376.37 c INPROCESSING
375.17/376.37 c GARBAGE COLLECT
375.17/376.37 c #Conflicts: 180000 | #Constraints: 22377
375.17/376.37 c #Conflicts: 181000 | #Constraints: 23377
375.17/376.37 c #Conflicts: 182000 | #Constraints: 24377
375.17/376.37 c #Conflicts: 183000 | #Constraints: 25377
375.17/376.37 c #Conflicts: 184000 | #Constraints: 26377
375.17/376.37 c #Conflicts: 185000 | #Constraints: 27377
375.17/376.37 c #Conflicts: 186000 | #Constraints: 28377
375.17/376.37 c #Conflicts: 187000 | #Constraints: 29377
375.17/376.37 c #Conflicts: 188000 | #Constraints: 30377
375.17/376.37 c #Conflicts: 189000 | #Constraints: 31377
375.17/376.37 c #Conflicts: 190000 | #Constraints: 32377
375.17/376.37 c #Conflicts: 191000 | #Constraints: 33377
375.17/376.37 c #Conflicts: 192000 | #Constraints: 34377
375.17/376.37 c #Conflicts: 193000 | #Constraints: 35377
375.17/376.37 c #Conflicts: 194000 | #Constraints: 36377
375.17/376.37 c #Conflicts: 195000 | #Constraints: 37377
375.17/376.37 c #Conflicts: 196000 | #Constraints: 38377
375.17/376.37 c #Conflicts: 197000 | #Constraints: 39377
375.17/376.37 c #Conflicts: 198000 | #Constraints: 40377
375.17/376.37 c #Conflicts: 199000 | #Constraints: 41377
375.17/376.37 c #Conflicts: 200000 | #Constraints: 42377
375.17/376.37 c #Conflicts: 201000 | #Constraints: 43377
375.17/376.37 c #Conflicts: 202000 | #Constraints: 44377
375.17/376.37 c #Conflicts: 203000 | #Constraints: 45377
375.17/376.37 c #Conflicts: 204000 | #Constraints: 46377
375.17/376.37 c #Conflicts: 205000 | #Constraints: 47377
375.17/376.37 c #Conflicts: 206000 | #Constraints: 48377
375.17/376.37 c #Conflicts: 207000 | #Constraints: 49377
375.17/376.37 c #Conflicts: 208000 | #Constraints: 50377
375.17/376.37 c #Conflicts: 209000 | #Constraints: 51377
375.17/376.37 c #Conflicts: 210000 | #Constraints: 52377
375.17/376.37 c #Conflicts: 211000 | #Constraints: 53377
375.17/376.37 c INPROCESSING
375.17/376.37 c GARBAGE COLLECT
375.17/376.37 c rational objective -1.11799e-13
410.76/412.01 c #Conflicts: 212000 | #Constraints: 32448
410.76/412.01 c #Conflicts: 213000 | #Constraints: 33448
410.76/412.01 c #Conflicts: 214000 | #Constraints: 34448
410.76/412.01 c #Conflicts: 215000 | #Constraints: 35448
410.76/412.01 c #Conflicts: 216000 | #Constraints: 36448
410.76/412.01 c #Conflicts: 217000 | #Constraints: 37448
410.76/412.01 c #Conflicts: 218000 | #Constraints: 38448
410.76/412.01 c #Conflicts: 219000 | #Constraints: 39448
410.76/412.01 c #Conflicts: 220000 | #Constraints: 40448
410.76/412.01 c #Conflicts: 221000 | #Constraints: 41448
410.76/412.01 c #Conflicts: 222000 | #Constraints: 42448
410.76/412.01 c INPROCESSING
410.76/412.01 c GARBAGE COLLECT
410.76/412.01 c #Conflicts: 223000 | #Constraints: 26775
410.76/412.01 c #Conflicts: 224000 | #Constraints: 27775
410.76/412.01 c #Conflicts: 225000 | #Constraints: 28775
410.76/412.01 c #Conflicts: 226000 | #Constraints: 29775
410.76/412.01 c #Conflicts: 227000 | #Constraints: 30775
410.76/412.01 c #Conflicts: 228000 | #Constraints: 31775
410.76/412.01 c #Conflicts: 229000 | #Constraints: 32775
410.76/412.01 c #Conflicts: 230000 | #Constraints: 33775
410.76/412.01 c #Conflicts: 231000 | #Constraints: 34775
410.76/412.01 c #Conflicts: 232000 | #Constraints: 35775
410.76/412.01 c #Conflicts: 233000 | #Constraints: 36775
410.76/412.01 c #Conflicts: 234000 | #Constraints: 37775
410.76/412.01 c INPROCESSING
410.76/412.01 c GARBAGE COLLECT
410.76/412.01 c rational objective -1.11799e-13
484.24/485.79 c #Conflicts: 235000 | #Constraints: 24728
484.24/485.79 c #Conflicts: 236000 | #Constraints: 25728
484.24/485.79 c #Conflicts: 237000 | #Constraints: 26728
484.24/485.79 c #Conflicts: 238000 | #Constraints: 27728
484.24/485.79 c #Conflicts: 239000 | #Constraints: 28728
484.24/485.79 c #Conflicts: 240000 | #Constraints: 29728
484.24/485.79 c #Conflicts: 241000 | #Constraints: 30728
484.24/485.79 c #Conflicts: 242000 | #Constraints: 31728
484.24/485.79 c #Conflicts: 243000 | #Constraints: 32728
484.24/485.79 c #Conflicts: 244000 | #Constraints: 33728
484.24/485.79 c #Conflicts: 245000 | #Constraints: 34728
484.24/485.79 c #Conflicts: 246000 | #Constraints: 35728
484.24/485.79 c #Conflicts: 247000 | #Constraints: 36728
484.24/485.79 c #Conflicts: 248000 | #Constraints: 37728
484.24/485.79 c #Conflicts: 249000 | #Constraints: 38728
484.24/485.79 c #Conflicts: 250000 | #Constraints: 39728
484.24/485.79 c #Conflicts: 251000 | #Constraints: 40728
484.24/485.79 c #Conflicts: 252000 | #Constraints: 41728
484.24/485.79 c #Conflicts: 253000 | #Constraints: 42728
484.24/485.79 c #Conflicts: 254000 | #Constraints: 43728
484.24/485.79 c #Conflicts: 255000 | #Constraints: 44728
484.24/485.79 c #Conflicts: 256000 | #Constraints: 45728
484.24/485.79 c #Conflicts: 257000 | #Constraints: 46728
484.24/485.79 c #Conflicts: 258000 | #Constraints: 47728
484.24/485.79 c #Conflicts: 259000 | #Constraints: 48728
484.24/485.79 c #Conflicts: 260000 | #Constraints: 49728
484.24/485.79 c #Conflicts: 261000 | #Constraints: 50728
484.24/485.79 c #Conflicts: 262000 | #Constraints: 51728
484.24/485.79 c #Conflicts: 263000 | #Constraints: 52728
484.24/485.79 c #Conflicts: 264000 | #Constraints: 53728
484.24/485.79 c #Conflicts: 265000 | #Constraints: 54728
484.24/485.79 c #Conflicts: 266000 | #Constraints: 55728
484.24/485.79 c #Conflicts: 267000 | #Constraints: 56728
484.24/485.79 c #Conflicts: 268000 | #Constraints: 57728
484.24/485.79 c #Conflicts: 269000 | #Constraints: 58728
484.24/485.79 c #Conflicts: 270000 | #Constraints: 59728
484.24/485.79 c INPROCESSING
484.24/485.79 c GARBAGE COLLECT
484.24/485.79 c rational objective -1.11799e-13
681.24/683.31 c #Conflicts: 271000 | #Constraints: 35714
681.24/683.31 c #Conflicts: 272000 | #Constraints: 36714
681.24/683.31 c #Conflicts: 273000 | #Constraints: 37714
681.24/683.31 c #Conflicts: 274000 | #Constraints: 38714
681.24/683.31 c #Conflicts: 275000 | #Constraints: 39714
681.24/683.31 c #Conflicts: 276000 | #Constraints: 40714
681.24/683.31 c #Conflicts: 277000 | #Constraints: 41714
681.24/683.31 c #Conflicts: 278000 | #Constraints: 42714
681.24/683.31 c #Conflicts: 279000 | #Constraints: 43714
681.24/683.31 c #Conflicts: 280000 | #Constraints: 44714
681.24/683.31 c #Conflicts: 281000 | #Constraints: 45714
681.24/683.31 c #Conflicts: 282000 | #Constraints: 46714
681.24/683.31 c INPROCESSING
681.24/683.31 c GARBAGE COLLECT
681.24/683.31 c #Conflicts: 283000 | #Constraints: 28833
681.24/683.31 c #Conflicts: 284000 | #Constraints: 29833
681.24/683.31 c #Conflicts: 285000 | #Constraints: 30833
681.24/683.31 c #Conflicts: 286000 | #Constraints: 31833
681.24/683.31 c #Conflicts: 287000 | #Constraints: 32833
681.24/683.31 c #Conflicts: 288000 | #Constraints: 33833
681.24/683.31 c #Conflicts: 289000 | #Constraints: 34833
681.24/683.31 c #Conflicts: 290000 | #Constraints: 35833
681.24/683.31 c #Conflicts: 291000 | #Constraints: 36833
681.24/683.31 c #Conflicts: 292000 | #Constraints: 37833
681.24/683.31 c #Conflicts: 293000 | #Constraints: 38833
681.24/683.31 c #Conflicts: 294000 | #Constraints: 39833
681.24/683.31 c #Conflicts: 295000 | #Constraints: 40833
681.24/683.31 c INPROCESSING
681.24/683.31 c GARBAGE COLLECT
681.24/683.31 c #Conflicts: 296000 | #Constraints: 25897
681.24/683.31 c #Conflicts: 297000 | #Constraints: 26897
681.24/683.31 c #Conflicts: 298000 | #Constraints: 27897
681.24/683.31 c #Conflicts: 299000 | #Constraints: 28897
681.24/683.31 c #Conflicts: 300000 | #Constraints: 29897
681.24/683.31 c #Conflicts: 301000 | #Constraints: 30897
681.24/683.31 c #Conflicts: 302000 | #Constraints: 31897
681.24/683.31 c #Conflicts: 303000 | #Constraints: 32897
681.24/683.31 c #Conflicts: 304000 | #Constraints: 33897
681.24/683.31 c #Conflicts: 305000 | #Constraints: 34897
681.24/683.31 c #Conflicts: 306000 | #Constraints: 35897
681.24/683.31 c #Conflicts: 307000 | #Constraints: 36897
681.24/683.31 c #Conflicts: 308000 | #Constraints: 37897
681.24/683.31 c #Conflicts: 309000 | #Constraints: 38897
681.24/683.31 c #Conflicts: 310000 | #Constraints: 39897
681.24/683.31 c #Conflicts: 311000 | #Constraints: 40897
681.24/683.31 c #Conflicts: 312000 | #Constraints: 41897
681.24/683.31 c #Conflicts: 313000 | #Constraints: 42897
681.24/683.31 c #Conflicts: 314000 | #Constraints: 43897
681.24/683.31 c #Conflicts: 315000 | #Constraints: 44897
681.24/683.31 c #Conflicts: 316000 | #Constraints: 45897
681.24/683.31 c #Conflicts: 317000 | #Constraints: 46897
681.24/683.31 c #Conflicts: 318000 | #Constraints: 47897
681.24/683.31 c #Conflicts: 319000 | #Constraints: 48897
681.24/683.31 c #Conflicts: 320000 | #Constraints: 49897
681.24/683.31 c #Conflicts: 321000 | #Constraints: 50897
681.24/683.31 c #Conflicts: 322000 | #Constraints: 51897
681.24/683.31 c #Conflicts: 323000 | #Constraints: 52897
681.24/683.31 c #Conflicts: 324000 | #Constraints: 53897
681.24/683.31 c #Conflicts: 325000 | #Constraints: 54897
681.24/683.31 c #Conflicts: 326000 | #Constraints: 55897
681.24/683.31 c #Conflicts: 327000 | #Constraints: 56897
681.24/683.31 c #Conflicts: 328000 | #Constraints: 57897
681.24/683.31 c #Conflicts: 329000 | #Constraints: 58897
681.24/683.31 c #Conflicts: 330000 | #Constraints: 59897
681.24/683.31 c #Conflicts: 331000 | #Constraints: 60897
681.24/683.31 c #Conflicts: 332000 | #Constraints: 61897
681.24/683.31 c #Conflicts: 333000 | #Constraints: 62897
681.24/683.31 c #Conflicts: 334000 | #Constraints: 63897
681.24/683.31 c #Conflicts: 335000 | #Constraints: 64897
681.24/683.31 c #Conflicts: 336000 | #Constraints: 65898
681.24/683.31 c INPROCESSING
681.24/683.31 c GARBAGE COLLECT
681.24/683.31 c #Conflicts: 337000 | #Constraints: 38847
681.24/683.31 c #Conflicts: 338000 | #Constraints: 39847
681.24/683.31 c #Conflicts: 339000 | #Constraints: 40847
681.24/683.31 c #Conflicts: 340000 | #Constraints: 41847
681.24/683.31 c #Conflicts: 341000 | #Constraints: 42847
681.24/683.31 c #Conflicts: 342000 | #Constraints: 43847
681.24/683.31 c #Conflicts: 343000 | #Constraints: 44847
681.24/683.31 c #Conflicts: 344000 | #Constraints: 45847
681.24/683.31 c #Conflicts: 345000 | #Constraints: 46847
681.24/683.31 c #Conflicts: 346000 | #Constraints: 47847
681.24/683.31 c #Conflicts: 347000 | #Constraints: 48847
824.61/827.19 c #Conflicts: 348000 | #Constraints: 49847
824.61/827.19 c #Conflicts: 349000 | #Constraints: 50847
824.61/827.19 c #Conflicts: 350000 | #Constraints: 51847
824.61/827.19 c INPROCESSING
824.61/827.19 c GARBAGE COLLECT
824.61/827.19 c #Conflicts: 351000 | #Constraints: 31718
824.61/827.19 c #Conflicts: 352000 | #Constraints: 32718
824.61/827.19 c #Conflicts: 353000 | #Constraints: 33718
824.61/827.19 c #Conflicts: 354000 | #Constraints: 34718
824.61/827.19 c #Conflicts: 355000 | #Constraints: 35718
824.61/827.19 c #Conflicts: 356000 | #Constraints: 36718
824.61/827.19 c #Conflicts: 357000 | #Constraints: 37718
824.61/827.19 c #Conflicts: 358000 | #Constraints: 38718
824.61/827.19 c #Conflicts: 359000 | #Constraints: 39718
824.61/827.19 c #Conflicts: 360000 | #Constraints: 40718
824.61/827.19 c #Conflicts: 361000 | #Constraints: 41718
824.61/827.19 c #Conflicts: 362000 | #Constraints: 42718
824.61/827.19 c #Conflicts: 363000 | #Constraints: 43718
824.61/827.19 c #Conflicts: 364000 | #Constraints: 44718
824.61/827.19 c INPROCESSING
824.61/827.19 c GARBAGE COLLECT
824.61/827.19 c #Conflicts: 365000 | #Constraints: 27934
824.61/827.19 c #Conflicts: 366000 | #Constraints: 28934
824.61/827.19 c #Conflicts: 367000 | #Constraints: 29934
824.61/827.19 c #Conflicts: 368000 | #Constraints: 30934
824.61/827.19 c #Conflicts: 369000 | #Constraints: 31934
824.61/827.19 c #Conflicts: 370000 | #Constraints: 32934
824.61/827.19 c #Conflicts: 371000 | #Constraints: 33934
824.61/827.19 c #Conflicts: 372000 | #Constraints: 34934
824.61/827.19 c #Conflicts: 373000 | #Constraints: 35934
824.61/827.19 c #Conflicts: 374000 | #Constraints: 36934
824.61/827.19 c #Conflicts: 375000 | #Constraints: 37934
824.61/827.19 c #Conflicts: 376000 | #Constraints: 38934
824.61/827.19 c #Conflicts: 377000 | #Constraints: 39934
824.61/827.19 c #Conflicts: 378000 | #Constraints: 40934
824.61/827.19 c #Conflicts: 379000 | #Constraints: 41934
824.61/827.19 c #Conflicts: 380000 | #Constraints: 42934
824.61/827.19 c #Conflicts: 381000 | #Constraints: 43934
824.61/827.19 c #Conflicts: 382000 | #Constraints: 44934
824.61/827.19 c #Conflicts: 383000 | #Constraints: 45934
824.61/827.19 c #Conflicts: 384000 | #Constraints: 46934
824.61/827.19 c #Conflicts: 385000 | #Constraints: 47934
824.61/827.19 c #Conflicts: 386000 | #Constraints: 48934
824.61/827.19 c #Conflicts: 387000 | #Constraints: 49934
824.61/827.19 c #Conflicts: 388000 | #Constraints: 50934
824.61/827.19 c #Conflicts: 389000 | #Constraints: 51934
824.61/827.19 c #Conflicts: 390000 | #Constraints: 52934
824.61/827.19 c #Conflicts: 391000 | #Constraints: 53934
824.61/827.19 c #Conflicts: 392000 | #Constraints: 54934
824.61/827.19 c #Conflicts: 393000 | #Constraints: 55934
824.61/827.19 c #Conflicts: 394000 | #Constraints: 56934
824.61/827.19 c #Conflicts: 395000 | #Constraints: 57934
824.61/827.19 c #Conflicts: 396000 | #Constraints: 58934
824.61/827.19 c #Conflicts: 397000 | #Constraints: 59934
824.61/827.19 c #Conflicts: 398000 | #Constraints: 60934
824.61/827.19 c #Conflicts: 399000 | #Constraints: 61934
824.61/827.19 c #Conflicts: 400000 | #Constraints: 62934
824.61/827.19 c #Conflicts: 401000 | #Constraints: 63934
824.61/827.19 c #Conflicts: 402000 | #Constraints: 64934
824.61/827.19 c #Conflicts: 403000 | #Constraints: 65934
824.61/827.19 c #Conflicts: 404000 | #Constraints: 66934
824.61/827.19 c #Conflicts: 405000 | #Constraints: 67934
824.61/827.19 c #Conflicts: 406000 | #Constraints: 68934
824.61/827.19 c #Conflicts: 407000 | #Constraints: 69934
824.61/827.19 c #Conflicts: 408000 | #Constraints: 70934
824.61/827.19 c #Conflicts: 409000 | #Constraints: 71934
824.61/827.19 c INPROCESSING
824.61/827.19 c GARBAGE COLLECT
824.61/827.19 c rational objective -2.23599e-13
1086.32/1089.65 c #Conflicts: 410000 | #Constraints: 41784
1086.32/1089.65 c #Conflicts: 411000 | #Constraints: 42784
1086.32/1089.65 c #Conflicts: 412000 | #Constraints: 43784
1086.32/1089.65 c #Conflicts: 413000 | #Constraints: 44784
1086.32/1089.65 c #Conflicts: 414000 | #Constraints: 45784
1086.32/1089.65 c #Conflicts: 415000 | #Constraints: 46784
1086.32/1089.65 c #Conflicts: 416000 | #Constraints: 47784
1086.32/1089.65 c #Conflicts: 417000 | #Constraints: 48784
1086.32/1089.65 c #Conflicts: 418000 | #Constraints: 49784
1086.32/1089.65 c #Conflicts: 419000 | #Constraints: 50784
1086.32/1089.65 c #Conflicts: 420000 | #Constraints: 51784
1086.32/1089.65 c #Conflicts: 421000 | #Constraints: 52784
1086.32/1089.65 c #Conflicts: 422000 | #Constraints: 53784
1086.32/1089.65 c #Conflicts: 423000 | #Constraints: 54784
1086.32/1089.65 c #Conflicts: 424000 | #Constraints: 55784
1086.32/1089.65 c #Conflicts: 425000 | #Constraints: 56784
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 426000 | #Constraints: 34344
1086.32/1089.65 c #Conflicts: 427000 | #Constraints: 35344
1086.32/1089.65 c #Conflicts: 428000 | #Constraints: 36344
1086.32/1089.65 c #Conflicts: 429000 | #Constraints: 37344
1086.32/1089.65 c #Conflicts: 430000 | #Constraints: 38344
1086.32/1089.65 c #Conflicts: 431000 | #Constraints: 39344
1086.32/1089.65 c #Conflicts: 432000 | #Constraints: 40344
1086.32/1089.65 c #Conflicts: 433000 | #Constraints: 41344
1086.32/1089.65 c #Conflicts: 434000 | #Constraints: 42344
1086.32/1089.65 c #Conflicts: 435000 | #Constraints: 43344
1086.32/1089.65 c #Conflicts: 436000 | #Constraints: 44344
1086.32/1089.65 c #Conflicts: 437000 | #Constraints: 45344
1086.32/1089.65 c #Conflicts: 438000 | #Constraints: 46344
1086.32/1089.65 c #Conflicts: 439000 | #Constraints: 47344
1086.32/1089.65 c #Conflicts: 440000 | #Constraints: 48344
1086.32/1089.65 c #Conflicts: 441000 | #Constraints: 49344
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 442000 | #Constraints: 30664
1086.32/1089.65 c #Conflicts: 443000 | #Constraints: 31664
1086.32/1089.65 c #Conflicts: 444000 | #Constraints: 32664
1086.32/1089.65 c #Conflicts: 445000 | #Constraints: 33664
1086.32/1089.65 c #Conflicts: 446000 | #Constraints: 34664
1086.32/1089.65 c #Conflicts: 447000 | #Constraints: 35664
1086.32/1089.65 c #Conflicts: 448000 | #Constraints: 36664
1086.32/1089.65 c #Conflicts: 449000 | #Constraints: 37664
1086.32/1089.65 c #Conflicts: 450000 | #Constraints: 38664
1086.32/1089.65 c #Conflicts: 451000 | #Constraints: 39664
1086.32/1089.65 c #Conflicts: 452000 | #Constraints: 40664
1086.32/1089.65 c #Conflicts: 453000 | #Constraints: 41664
1086.32/1089.65 c #Conflicts: 454000 | #Constraints: 42664
1086.32/1089.65 c #Conflicts: 455000 | #Constraints: 43664
1086.32/1089.65 c #Conflicts: 456000 | #Constraints: 44664
1086.32/1089.65 c #Conflicts: 457000 | #Constraints: 45664
1086.32/1089.65 c #Conflicts: 458000 | #Constraints: 46664
1086.32/1089.65 c #Conflicts: 459000 | #Constraints: 47664
1086.32/1089.65 c #Conflicts: 460000 | #Constraints: 48664
1086.32/1089.65 c #Conflicts: 461000 | #Constraints: 49664
1086.32/1089.65 c #Conflicts: 462000 | #Constraints: 50664
1086.32/1089.65 c #Conflicts: 463000 | #Constraints: 51664
1086.32/1089.65 c #Conflicts: 464000 | #Constraints: 52664
1086.32/1089.65 c #Conflicts: 465000 | #Constraints: 53664
1086.32/1089.65 c #Conflicts: 466000 | #Constraints: 54664
1086.32/1089.65 c #Conflicts: 467000 | #Constraints: 55664
1086.32/1089.65 c #Conflicts: 468000 | #Constraints: 56664
1086.32/1089.65 c #Conflicts: 469000 | #Constraints: 57664
1086.32/1089.65 c #Conflicts: 470000 | #Constraints: 58664
1086.32/1089.65 c #Conflicts: 471000 | #Constraints: 59664
1086.32/1089.65 c #Conflicts: 472000 | #Constraints: 60664
1086.32/1089.65 c #Conflicts: 473000 | #Constraints: 61664
1086.32/1089.65 c #Conflicts: 474000 | #Constraints: 62664
1086.32/1089.65 c #Conflicts: 475000 | #Constraints: 63664
1086.32/1089.65 c #Conflicts: 476000 | #Constraints: 64664
1086.32/1089.65 c #Conflicts: 477000 | #Constraints: 65664
1086.32/1089.65 c #Conflicts: 478000 | #Constraints: 66664
1086.32/1089.65 c #Conflicts: 479000 | #Constraints: 67665
1086.32/1089.65 c #Conflicts: 480000 | #Constraints: 68665
1086.32/1089.65 c #Conflicts: 481000 | #Constraints: 69665
1086.32/1089.65 c #Conflicts: 482000 | #Constraints: 70665
1086.32/1089.65 c #Conflicts: 483000 | #Constraints: 71665
1086.32/1089.65 c #Conflicts: 484000 | #Constraints: 72665
1086.32/1089.65 c #Conflicts: 485000 | #Constraints: 73665
1086.32/1089.65 c #Conflicts: 486000 | #Constraints: 74665
1086.32/1089.65 c #Conflicts: 487000 | #Constraints: 75665
1098.38/1101.78 c #Conflicts: 488000 | #Constraints: 76665
1098.38/1101.78 c #Conflicts: 489000 | #Constraints: 77665
1098.38/1101.78 c INPROCESSING
1098.38/1101.78 c GARBAGE COLLECT
1098.38/1101.78 c rational objective -2.23599e-13
1297.67/1301.65 c #Conflicts: 490000 | #Constraints: 44484
1297.67/1301.65 c #Conflicts: 491000 | #Constraints: 45484
1297.67/1301.65 c #Conflicts: 492000 | #Constraints: 46484
1297.67/1301.65 c #Conflicts: 493000 | #Constraints: 47484
1297.67/1301.65 c #Conflicts: 494000 | #Constraints: 48484
1297.67/1301.65 c #Conflicts: 495000 | #Constraints: 49484
1297.67/1301.65 c #Conflicts: 496000 | #Constraints: 50484
1297.67/1301.65 c #Conflicts: 497000 | #Constraints: 51484
1297.67/1301.65 c #Conflicts: 498000 | #Constraints: 52484
1297.67/1301.65 c #Conflicts: 499000 | #Constraints: 53484
1297.67/1301.65 c #Conflicts: 500000 | #Constraints: 54484
1297.67/1301.65 c #Conflicts: 501000 | #Constraints: 55484
1297.67/1301.65 c #Conflicts: 502000 | #Constraints: 56484
1297.67/1301.65 c #Conflicts: 503000 | #Constraints: 57484
1297.67/1301.65 c #Conflicts: 504000 | #Constraints: 58484
1297.67/1301.65 c #Conflicts: 505000 | #Constraints: 59484
1297.67/1301.65 c #Conflicts: 506000 | #Constraints: 60484
1297.67/1301.65 c INPROCESSING
1297.67/1301.65 c GARBAGE COLLECT
1297.67/1301.65 c #Conflicts: 507000 | #Constraints: 35630
1297.67/1301.65 c #Conflicts: 508000 | #Constraints: 36630
1297.67/1301.65 c #Conflicts: 509000 | #Constraints: 37630
1297.67/1301.65 c #Conflicts: 510000 | #Constraints: 38631
1297.67/1301.65 c #Conflicts: 511000 | #Constraints: 39631
1297.67/1301.65 c #Conflicts: 512000 | #Constraints: 40631
1297.67/1301.65 c #Conflicts: 513000 | #Constraints: 41631
1297.67/1301.65 c #Conflicts: 514000 | #Constraints: 42631
1297.67/1301.65 c #Conflicts: 515000 | #Constraints: 43631
1297.67/1301.65 c #Conflicts: 516000 | #Constraints: 44631
1297.67/1301.65 c #Conflicts: 517000 | #Constraints: 45631
1297.67/1301.65 c #Conflicts: 518000 | #Constraints: 46631
1297.67/1301.65 c #Conflicts: 519000 | #Constraints: 47631
1297.67/1301.65 c #Conflicts: 520000 | #Constraints: 48631
1297.67/1301.65 c #Conflicts: 521000 | #Constraints: 49631
1297.67/1301.65 c #Conflicts: 522000 | #Constraints: 50631
1297.67/1301.65 c #Conflicts: 523000 | #Constraints: 51631
1297.67/1301.65 c #Conflicts: 524000 | #Constraints: 52631
1297.67/1301.65 c INPROCESSING
1297.67/1301.65 c GARBAGE COLLECT
1297.67/1301.65 c #Conflicts: 525000 | #Constraints: 32052
1297.67/1301.65 c #Conflicts: 526000 | #Constraints: 33052
1297.67/1301.65 c #Conflicts: 527000 | #Constraints: 34052
1297.67/1301.65 c #Conflicts: 528000 | #Constraints: 35052
1297.67/1301.65 c #Conflicts: 529000 | #Constraints: 36052
1297.67/1301.65 c #Conflicts: 530000 | #Constraints: 37052
1297.67/1301.65 c #Conflicts: 531000 | #Constraints: 38052
1297.67/1301.65 c #Conflicts: 532000 | #Constraints: 39052
1297.67/1301.65 c #Conflicts: 533000 | #Constraints: 40052
1297.67/1301.65 c #Conflicts: 534000 | #Constraints: 41052
1297.67/1301.65 c #Conflicts: 535000 | #Constraints: 42052
1297.67/1301.65 c #Conflicts: 536000 | #Constraints: 43052
1297.67/1301.65 c #Conflicts: 537000 | #Constraints: 44052
1297.67/1301.65 c #Conflicts: 538000 | #Constraints: 45052
1297.67/1301.65 c #Conflicts: 539000 | #Constraints: 46052
1297.67/1301.65 c #Conflicts: 540000 | #Constraints: 47052
1297.67/1301.65 c #Conflicts: 541000 | #Constraints: 48052
1297.67/1301.65 c #Conflicts: 542000 | #Constraints: 49052
1297.67/1301.65 c #Conflicts: 543000 | #Constraints: 50052
1297.67/1301.65 c #Conflicts: 544000 | #Constraints: 51052
1297.67/1301.65 c #Conflicts: 545000 | #Constraints: 52052
1297.67/1301.65 c #Conflicts: 546000 | #Constraints: 53052
1297.67/1301.65 c #Conflicts: 547000 | #Constraints: 54052
1297.67/1301.65 c #Conflicts: 548000 | #Constraints: 55052
1297.67/1301.65 c #Conflicts: 549000 | #Constraints: 56052
1297.67/1301.65 c #Conflicts: 550000 | #Constraints: 57052
1297.67/1301.65 c #Conflicts: 551000 | #Constraints: 58052
1297.67/1301.65 c #Conflicts: 552000 | #Constraints: 59052
1297.67/1301.65 c #Conflicts: 553000 | #Constraints: 60052
1297.67/1301.65 c #Conflicts: 554000 | #Constraints: 61052
1297.67/1301.65 c #Conflicts: 555000 | #Constraints: 62052
1297.67/1301.65 c #Conflicts: 556000 | #Constraints: 63052
1297.67/1301.65 c #Conflicts: 557000 | #Constraints: 64052
1297.67/1301.65 c #Conflicts: 558000 | #Constraints: 65052
1297.67/1301.65 c #Conflicts: 559000 | #Constraints: 66052
1297.67/1301.65 c #Conflicts: 560000 | #Constraints: 67052
1297.67/1301.65 c #Conflicts: 561000 | #Constraints: 68052
1297.67/1301.65 c #Conflicts: 562000 | #Constraints: 69052
1297.67/1301.65 c #Conflicts: 563000 | #Constraints: 70052
1297.67/1301.65 c #Conflicts: 564000 | #Constraints: 71052
1297.67/1301.65 c #Conflicts: 565000 | #Constraints: 72052
1297.67/1301.65 c #Conflicts: 566000 | #Constraints: 73052
1297.67/1301.65 c #Conflicts: 567000 | #Constraints: 74052
1333.37/1337.47 c #Conflicts: 568000 | #Constraints: 75052
1333.37/1337.47 c #Conflicts: 569000 | #Constraints: 76052
1333.37/1337.47 c #Conflicts: 570000 | #Constraints: 77052
1333.37/1337.47 c #Conflicts: 571000 | #Constraints: 78052
1333.37/1337.47 c #Conflicts: 572000 | #Constraints: 79052
1333.37/1337.47 c #Conflicts: 573000 | #Constraints: 80052
1333.37/1337.47 c #Conflicts: 574000 | #Constraints: 81052
1333.37/1337.47 c #Conflicts: 575000 | #Constraints: 82052
1333.37/1337.47 c #Conflicts: 576000 | #Constraints: 83052
1333.37/1337.47 c #Conflicts: 577000 | #Constraints: 84052
1333.37/1337.47 c INPROCESSING
1333.37/1337.47 c GARBAGE COLLECT
1333.37/1337.47 c rational objective 1.11799e-13
1427.19/1431.53 c #Conflicts: 578000 | #Constraints: 47883
1427.19/1431.53 c #Conflicts: 579000 | #Constraints: 48883
1427.19/1431.53 c #Conflicts: 580000 | #Constraints: 49883
1427.19/1431.53 c #Conflicts: 581000 | #Constraints: 50883
1427.19/1431.53 c #Conflicts: 582000 | #Constraints: 51883
1427.19/1431.53 c #Conflicts: 583000 | #Constraints: 52883
1427.19/1431.53 c #Conflicts: 584000 | #Constraints: 53883
1427.19/1431.53 c #Conflicts: 585000 | #Constraints: 54883
1427.19/1431.53 c #Conflicts: 586000 | #Constraints: 55883
1427.19/1431.53 c #Conflicts: 587000 | #Constraints: 56883
1427.19/1431.53 c #Conflicts: 588000 | #Constraints: 57883
1427.19/1431.53 c #Conflicts: 589000 | #Constraints: 58883
1427.19/1431.53 c #Conflicts: 590000 | #Constraints: 59883
1427.19/1431.53 c #Conflicts: 591000 | #Constraints: 60883
1427.19/1431.53 c #Conflicts: 592000 | #Constraints: 61883
1427.19/1431.53 c #Conflicts: 593000 | #Constraints: 62883
1427.19/1431.53 c #Conflicts: 594000 | #Constraints: 63883
1427.19/1431.53 c #Conflicts: 595000 | #Constraints: 64883
1427.19/1431.53 c #Conflicts: 596000 | #Constraints: 65883
1427.19/1431.53 c INPROCESSING
1427.19/1431.53 c GARBAGE COLLECT
1427.19/1431.53 c #Conflicts: 597000 | #Constraints: 38907
1427.19/1431.53 c #Conflicts: 598000 | #Constraints: 39907
1427.19/1431.53 c #Conflicts: 599000 | #Constraints: 40907
1427.19/1431.53 c #Conflicts: 600000 | #Constraints: 41907
1427.19/1431.53 c #Conflicts: 601000 | #Constraints: 42907
1427.19/1431.53 c #Conflicts: 602000 | #Constraints: 43907
1427.19/1431.53 c #Conflicts: 603000 | #Constraints: 44907
1427.19/1431.53 c #Conflicts: 604000 | #Constraints: 45907
1427.19/1431.53 c #Conflicts: 605000 | #Constraints: 46907
1427.19/1431.53 c #Conflicts: 606000 | #Constraints: 47907
1427.19/1431.53 c #Conflicts: 607000 | #Constraints: 48907
1427.19/1431.53 c #Conflicts: 608000 | #Constraints: 49907
1427.19/1431.53 c #Conflicts: 609000 | #Constraints: 50907
1427.19/1431.53 c #Conflicts: 610000 | #Constraints: 51907
1427.19/1431.53 c #Conflicts: 611000 | #Constraints: 52907
1427.19/1431.53 c #Conflicts: 612000 | #Constraints: 53907
1427.19/1431.53 c #Conflicts: 613000 | #Constraints: 54907
1427.19/1431.53 c #Conflicts: 614000 | #Constraints: 55907
1427.19/1431.53 c #Conflicts: 615000 | #Constraints: 56907
1427.19/1431.53 c INPROCESSING
1427.19/1431.53 c GARBAGE COLLECT
1427.19/1431.53 c rational objective 1.11799e-13
1647.33/1652.39 c #Conflicts: 616000 | #Constraints: 34440
1647.33/1652.39 c #Conflicts: 617000 | #Constraints: 35440
1647.33/1652.39 c #Conflicts: 618000 | #Constraints: 36440
1647.33/1652.39 c #Conflicts: 619000 | #Constraints: 37440
1647.33/1652.39 c #Conflicts: 620000 | #Constraints: 38440
1647.33/1652.39 c #Conflicts: 621000 | #Constraints: 39440
1647.33/1652.39 c #Conflicts: 622000 | #Constraints: 40440
1647.33/1652.39 c #Conflicts: 623000 | #Constraints: 41440
1647.33/1652.39 c #Conflicts: 624000 | #Constraints: 42440
1647.33/1652.39 c #Conflicts: 625000 | #Constraints: 43440
1647.33/1652.39 c #Conflicts: 626000 | #Constraints: 44440
1647.33/1652.39 c #Conflicts: 627000 | #Constraints: 45440
1647.33/1652.39 c #Conflicts: 628000 | #Constraints: 46440
1647.33/1652.39 c #Conflicts: 629000 | #Constraints: 47440
1647.33/1652.39 c #Conflicts: 630000 | #Constraints: 48440
1647.33/1652.39 c #Conflicts: 631000 | #Constraints: 49440
1647.33/1652.39 c #Conflicts: 632000 | #Constraints: 50440
1647.33/1652.39 c #Conflicts: 633000 | #Constraints: 51440
1647.33/1652.39 c #Conflicts: 634000 | #Constraints: 52440
1647.33/1652.39 c #Conflicts: 635000 | #Constraints: 53440
1647.33/1652.39 c #Conflicts: 636000 | #Constraints: 54440
1647.33/1652.39 c #Conflicts: 637000 | #Constraints: 55440
1647.33/1652.39 c #Conflicts: 638000 | #Constraints: 56440
1647.33/1652.39 c #Conflicts: 639000 | #Constraints: 57440
1647.33/1652.39 c #Conflicts: 640000 | #Constraints: 58440
1647.33/1652.39 c #Conflicts: 641000 | #Constraints: 59440
1647.33/1652.39 c #Conflicts: 642000 | #Constraints: 60440
1647.33/1652.39 c #Conflicts: 643000 | #Constraints: 61440
1647.33/1652.39 c #Conflicts: 644000 | #Constraints: 62440
1647.33/1652.39 c #Conflicts: 645000 | #Constraints: 63440
1647.33/1652.39 c #Conflicts: 646000 | #Constraints: 64440
1647.33/1652.39 c #Conflicts: 647000 | #Constraints: 65440
1647.33/1652.39 c #Conflicts: 648000 | #Constraints: 66440
1647.33/1652.39 c #Conflicts: 649000 | #Constraints: 67440
1647.33/1652.39 c #Conflicts: 650000 | #Constraints: 68440
1647.33/1652.39 c #Conflicts: 651000 | #Constraints: 69440
1647.33/1652.39 c #Conflicts: 652000 | #Constraints: 70440
1647.33/1652.39 c #Conflicts: 653000 | #Constraints: 71440
1647.33/1652.39 c #Conflicts: 654000 | #Constraints: 72440
1647.33/1652.39 c #Conflicts: 655000 | #Constraints: 73440
1647.33/1652.39 c #Conflicts: 656000 | #Constraints: 74440
1647.33/1652.39 c #Conflicts: 657000 | #Constraints: 75440
1647.33/1652.39 c #Conflicts: 658000 | #Constraints: 76440
1647.33/1652.39 c #Conflicts: 659000 | #Constraints: 77440
1647.33/1652.39 c #Conflicts: 660000 | #Constraints: 78440
1647.33/1652.39 c #Conflicts: 661000 | #Constraints: 79440
1647.33/1652.39 c #Conflicts: 662000 | #Constraints: 80440
1647.33/1652.39 c #Conflicts: 663000 | #Constraints: 81440
1647.33/1652.39 c #Conflicts: 664000 | #Constraints: 82440
1647.33/1652.39 c #Conflicts: 665000 | #Constraints: 83440
1647.33/1652.39 c #Conflicts: 666000 | #Constraints: 84440
1647.33/1652.39 c #Conflicts: 667000 | #Constraints: 85440
1647.33/1652.39 c #Conflicts: 668000 | #Constraints: 86440
1647.33/1652.39 c #Conflicts: 669000 | #Constraints: 87440
1647.33/1652.39 c #Conflicts: 670000 | #Constraints: 88440
1647.33/1652.39 c #Conflicts: 671000 | #Constraints: 89440
1647.33/1652.39 c #Conflicts: 672000 | #Constraints: 90440
1647.33/1652.39 c INPROCESSING
1647.33/1652.39 c GARBAGE COLLECT
1647.33/1652.39 c #Conflicts: 673000 | #Constraints: 51195
1647.33/1652.39 c #Conflicts: 674000 | #Constraints: 52195
1647.33/1652.39 c #Conflicts: 675000 | #Constraints: 53195
1647.33/1652.39 c #Conflicts: 676000 | #Constraints: 54195
1647.33/1652.39 c #Conflicts: 677000 | #Constraints: 55195
1647.33/1652.39 c #Conflicts: 678000 | #Constraints: 56195
1647.33/1652.39 c #Conflicts: 679000 | #Constraints: 57195
1647.33/1652.39 c #Conflicts: 680000 | #Constraints: 58195
1647.33/1652.39 c #Conflicts: 681000 | #Constraints: 59195
1647.33/1652.39 c #Conflicts: 682000 | #Constraints: 60195
1647.33/1652.39 c #Conflicts: 683000 | #Constraints: 61195
1647.33/1652.39 c #Conflicts: 684000 | #Constraints: 62195
1647.33/1652.39 c #Conflicts: 685000 | #Constraints: 63195
1647.33/1652.39 c #Conflicts: 686000 | #Constraints: 64195
1647.33/1652.39 c #Conflicts: 687000 | #Constraints: 65195
1647.33/1652.39 c #Conflicts: 688000 | #Constraints: 66195
1647.33/1652.39 c #Conflicts: 689000 | #Constraints: 67195
1647.33/1652.39 c #Conflicts: 690000 | #Constraints: 68195
1647.33/1652.39 c #Conflicts: 691000 | #Constraints: 69195
1647.33/1652.39 c #Conflicts: 692000 | #Constraints: 70195
1647.33/1652.39 c INPROCESSING
1647.33/1652.39 c GARBAGE COLLECT
1647.33/1652.39 c rational objective 1.11799e-13
1928.99/1934.84 c #Conflicts: 693000 | #Constraints: 40935
1928.99/1934.84 c #Conflicts: 694000 | #Constraints: 41935
1928.99/1934.84 c #Conflicts: 695000 | #Constraints: 42935
1928.99/1934.84 c #Conflicts: 696000 | #Constraints: 43935
1928.99/1934.84 c #Conflicts: 697000 | #Constraints: 44935
1928.99/1934.84 c #Conflicts: 698000 | #Constraints: 45935
1928.99/1934.84 c #Conflicts: 699000 | #Constraints: 46935
1928.99/1934.84 c #Conflicts: 700000 | #Constraints: 47935
1928.99/1934.84 c #Conflicts: 701000 | #Constraints: 48935
1928.99/1934.84 c #Conflicts: 702000 | #Constraints: 49935
1928.99/1934.84 c #Conflicts: 703000 | #Constraints: 50935
1928.99/1934.84 c #Conflicts: 704000 | #Constraints: 51935
1928.99/1934.84 c #Conflicts: 705000 | #Constraints: 52935
1928.99/1934.84 c #Conflicts: 706000 | #Constraints: 53935
1928.99/1934.84 c #Conflicts: 707000 | #Constraints: 54935
1928.99/1934.84 c #Conflicts: 708000 | #Constraints: 55935
1928.99/1934.84 c #Conflicts: 709000 | #Constraints: 56935
1928.99/1934.84 c #Conflicts: 710000 | #Constraints: 57935
1928.99/1934.84 c #Conflicts: 711000 | #Constraints: 58935
1928.99/1934.84 c #Conflicts: 712000 | #Constraints: 59935
1928.99/1934.84 c INPROCESSING
1928.99/1934.84 c GARBAGE COLLECT
1928.99/1934.84 c #Conflicts: 713000 | #Constraints: 35550
1928.99/1934.84 c #Conflicts: 714000 | #Constraints: 36550
1928.99/1934.84 c #Conflicts: 715000 | #Constraints: 37550
1928.99/1934.84 c #Conflicts: 716000 | #Constraints: 38550
1928.99/1934.84 c #Conflicts: 717000 | #Constraints: 39550
1928.99/1934.84 c #Conflicts: 718000 | #Constraints: 40550
1928.99/1934.84 c #Conflicts: 719000 | #Constraints: 41550
1928.99/1934.84 c #Conflicts: 720000 | #Constraints: 42550
1928.99/1934.84 c #Conflicts: 721000 | #Constraints: 43550
1928.99/1934.84 c #Conflicts: 722000 | #Constraints: 44550
1928.99/1934.84 c #Conflicts: 723000 | #Constraints: 45550
1928.99/1934.84 c #Conflicts: 724000 | #Constraints: 46550
1928.99/1934.84 c #Conflicts: 725000 | #Constraints: 47550
1928.99/1934.84 c #Conflicts: 726000 | #Constraints: 48550
1928.99/1934.84 c #Conflicts: 727000 | #Constraints: 49550
1928.99/1934.84 c #Conflicts: 728000 | #Constraints: 50550
1928.99/1934.84 c #Conflicts: 729000 | #Constraints: 51550
1928.99/1934.84 c #Conflicts: 730000 | #Constraints: 52550
1928.99/1934.84 c #Conflicts: 731000 | #Constraints: 53550
1928.99/1934.84 c #Conflicts: 732000 | #Constraints: 54550
1928.99/1934.84 c #Conflicts: 733000 | #Constraints: 55550
1928.99/1934.84 c #Conflicts: 734000 | #Constraints: 56550
1928.99/1934.84 c #Conflicts: 735000 | #Constraints: 57550
1928.99/1934.84 c #Conflicts: 736000 | #Constraints: 58550
1928.99/1934.84 c #Conflicts: 737000 | #Constraints: 59550
1928.99/1934.84 c #Conflicts: 738000 | #Constraints: 60550
1928.99/1934.84 c #Conflicts: 739000 | #Constraints: 61550
1928.99/1934.84 c #Conflicts: 740000 | #Constraints: 62550
1928.99/1934.84 c #Conflicts: 741000 | #Constraints: 63550
1928.99/1934.84 c #Conflicts: 742000 | #Constraints: 64550
1928.99/1934.84 c #Conflicts: 743000 | #Constraints: 65550
1928.99/1934.84 c #Conflicts: 744000 | #Constraints: 66550
1928.99/1934.84 c #Conflicts: 745000 | #Constraints: 67550
1928.99/1934.84 c #Conflicts: 746000 | #Constraints: 68550
1928.99/1934.84 c #Conflicts: 747000 | #Constraints: 69550
1928.99/1934.84 c #Conflicts: 748000 | #Constraints: 70550
1928.99/1934.84 c #Conflicts: 749000 | #Constraints: 71550
1928.99/1934.84 c #Conflicts: 750000 | #Constraints: 72550
1928.99/1934.84 c #Conflicts: 751000 | #Constraints: 73550
1928.99/1934.84 c #Conflicts: 752000 | #Constraints: 74550
1928.99/1934.84 c #Conflicts: 753000 | #Constraints: 75550
1928.99/1934.84 c #Conflicts: 754000 | #Constraints: 76550
1928.99/1934.84 c #Conflicts: 755000 | #Constraints: 77550
1928.99/1934.84 c #Conflicts: 756000 | #Constraints: 78550
1928.99/1934.84 c #Conflicts: 757000 | #Constraints: 79550
1928.99/1934.84 c #Conflicts: 758000 | #Constraints: 80550
1928.99/1934.84 c #Conflicts: 759000 | #Constraints: 81550
1928.99/1934.84 c #Conflicts: 760000 | #Constraints: 82550
1928.99/1934.84 c #Conflicts: 761000 | #Constraints: 83550
1928.99/1934.84 c #Conflicts: 762000 | #Constraints: 84550
1928.99/1934.84 c #Conflicts: 763000 | #Constraints: 85550
1928.99/1934.84 c #Conflicts: 764000 | #Constraints: 86550
1928.99/1934.84 c #Conflicts: 765000 | #Constraints: 87550
1928.99/1934.84 c #Conflicts: 766000 | #Constraints: 88550
1928.99/1934.84 c #Conflicts: 767000 | #Constraints: 89550
1928.99/1934.84 c #Conflicts: 768000 | #Constraints: 90550
1928.99/1934.84 c #Conflicts: 769000 | #Constraints: 91550
1928.99/1934.84 c #Conflicts: 770000 | #Constraints: 92550
1928.99/1934.84 c #Conflicts: 771000 | #Constraints: 93550
1941.35/1947.20 c #Conflicts: 772000 | #Constraints: 94550
1941.35/1947.20 c #Conflicts: 773000 | #Constraints: 95550
1941.35/1947.20 c #Conflicts: 774000 | #Constraints: 96550
1941.35/1947.20 c INPROCESSING
1941.35/1947.20 c GARBAGE COLLECT
1941.35/1947.20 c rational objective 1.11799e-13
2003.17/2009.26 c #Conflicts: 775000 | #Constraints: 54263
2003.17/2009.26 c #Conflicts: 776000 | #Constraints: 55263
2003.17/2009.26 c #Conflicts: 777000 | #Constraints: 56263
2003.17/2009.26 c #Conflicts: 778000 | #Constraints: 57263
2003.17/2009.26 c #Conflicts: 779000 | #Constraints: 58263
2003.17/2009.26 c #Conflicts: 780000 | #Constraints: 59263
2003.17/2009.26 c #Conflicts: 781000 | #Constraints: 60263
2003.17/2009.26 c #Conflicts: 782000 | #Constraints: 61263
2003.17/2009.26 c #Conflicts: 783000 | #Constraints: 62263
2003.17/2009.26 c #Conflicts: 784000 | #Constraints: 63263
2003.17/2009.26 c #Conflicts: 785000 | #Constraints: 64263
2003.17/2009.26 c #Conflicts: 786000 | #Constraints: 65263
2003.17/2009.26 c #Conflicts: 787000 | #Constraints: 66263
2003.17/2009.26 c #Conflicts: 788000 | #Constraints: 67263
2003.17/2009.26 c #Conflicts: 789000 | #Constraints: 68263
2003.17/2009.26 c #Conflicts: 790000 | #Constraints: 69263
2003.17/2009.26 c #Conflicts: 791000 | #Constraints: 70263
2003.17/2009.26 c #Conflicts: 792000 | #Constraints: 71263
2003.17/2009.26 c #Conflicts: 793000 | #Constraints: 72263
2003.17/2009.26 c #Conflicts: 794000 | #Constraints: 73263
2003.17/2009.26 c #Conflicts: 795000 | #Constraints: 74263
2003.17/2009.26 c INPROCESSING
2003.17/2009.26 c GARBAGE COLLECT
2003.17/2009.26 c rational objective 1.11799e-13
2220.42/2227.10 c #Conflicts: 796000 | #Constraints: 42755
2220.42/2227.10 c #Conflicts: 797000 | #Constraints: 43755
2220.42/2227.10 c #Conflicts: 798000 | #Constraints: 44755
2220.42/2227.10 c #Conflicts: 799000 | #Constraints: 45755
2220.42/2227.10 c #Conflicts: 800000 | #Constraints: 46755
2220.42/2227.10 c #Conflicts: 801000 | #Constraints: 47755
2220.42/2227.10 c #Conflicts: 802000 | #Constraints: 48755
2220.42/2227.10 c #Conflicts: 803000 | #Constraints: 49755
2220.42/2227.10 c #Conflicts: 804000 | #Constraints: 50755
2220.42/2227.10 c #Conflicts: 805000 | #Constraints: 51755
2220.42/2227.10 c #Conflicts: 806000 | #Constraints: 52755
2220.42/2227.10 c #Conflicts: 807000 | #Constraints: 53755
2220.42/2227.10 c #Conflicts: 808000 | #Constraints: 54755
2220.42/2227.10 c #Conflicts: 809000 | #Constraints: 55755
2220.42/2227.10 c #Conflicts: 810000 | #Constraints: 56755
2220.42/2227.10 c #Conflicts: 811000 | #Constraints: 57755
2220.42/2227.10 c #Conflicts: 812000 | #Constraints: 58755
2220.42/2227.10 c #Conflicts: 813000 | #Constraints: 59755
2220.42/2227.10 c #Conflicts: 814000 | #Constraints: 60755
2220.42/2227.10 c #Conflicts: 815000 | #Constraints: 61755
2220.42/2227.10 c #Conflicts: 816000 | #Constraints: 62755
2220.42/2227.10 c #Conflicts: 817000 | #Constraints: 63755
2220.42/2227.10 c INPROCESSING
2220.42/2227.10 c GARBAGE COLLECT
2220.42/2227.10 c #Conflicts: 818000 | #Constraints: 37676
2220.42/2227.10 c #Conflicts: 819000 | #Constraints: 38676
2220.42/2227.10 c #Conflicts: 820000 | #Constraints: 39676
2220.42/2227.10 c #Conflicts: 821000 | #Constraints: 40676
2220.42/2227.10 c #Conflicts: 822000 | #Constraints: 41676
2220.42/2227.10 c #Conflicts: 823000 | #Constraints: 42676
2220.42/2227.10 c #Conflicts: 824000 | #Constraints: 43676
2220.42/2227.10 c #Conflicts: 825000 | #Constraints: 44676
2220.42/2227.10 c #Conflicts: 826000 | #Constraints: 45676
2220.42/2227.10 c #Conflicts: 827000 | #Constraints: 46676
2220.42/2227.10 c #Conflicts: 828000 | #Constraints: 47676
2220.42/2227.10 c #Conflicts: 829000 | #Constraints: 48676
2220.42/2227.10 c #Conflicts: 830000 | #Constraints: 49676
2220.42/2227.10 c #Conflicts: 831000 | #Constraints: 50676
2220.42/2227.10 c #Conflicts: 832000 | #Constraints: 51676
2220.42/2227.10 c #Conflicts: 833000 | #Constraints: 52676
2220.42/2227.10 c #Conflicts: 834000 | #Constraints: 53676
2220.42/2227.10 c #Conflicts: 835000 | #Constraints: 54676
2220.42/2227.10 c #Conflicts: 836000 | #Constraints: 55676
2220.42/2227.10 c #Conflicts: 837000 | #Constraints: 56676
2220.42/2227.10 c #Conflicts: 838000 | #Constraints: 57676
2220.42/2227.10 c #Conflicts: 839000 | #Constraints: 58676
2220.42/2227.10 c #Conflicts: 840000 | #Constraints: 59676
2220.42/2227.10 c #Conflicts: 841000 | #Constraints: 60676
2220.42/2227.10 c #Conflicts: 842000 | #Constraints: 61676
2220.42/2227.10 c #Conflicts: 843000 | #Constraints: 62676
2220.42/2227.10 c #Conflicts: 844000 | #Constraints: 63676
2220.42/2227.10 c #Conflicts: 845000 | #Constraints: 64676
2220.42/2227.10 c #Conflicts: 846000 | #Constraints: 65676
2220.42/2227.10 c #Conflicts: 847000 | #Constraints: 66676
2220.42/2227.10 c #Conflicts: 848000 | #Constraints: 67676
2220.42/2227.10 c #Conflicts: 849000 | #Constraints: 68676
2220.42/2227.10 c #Conflicts: 850000 | #Constraints: 69676
2220.42/2227.10 c #Conflicts: 851000 | #Constraints: 70676
2220.42/2227.10 c #Conflicts: 852000 | #Constraints: 71676
2220.42/2227.10 c #Conflicts: 853000 | #Constraints: 72677
2220.42/2227.10 c #Conflicts: 854000 | #Constraints: 73677
2220.42/2227.10 c #Conflicts: 855000 | #Constraints: 74677
2220.42/2227.10 c #Conflicts: 856000 | #Constraints: 75677
2220.42/2227.10 c #Conflicts: 857000 | #Constraints: 76677
2220.42/2227.10 c #Conflicts: 858000 | #Constraints: 77677
2220.42/2227.10 c #Conflicts: 859000 | #Constraints: 78677
2220.42/2227.10 c #Conflicts: 860000 | #Constraints: 79677
2220.42/2227.10 c #Conflicts: 861000 | #Constraints: 80677
2220.42/2227.10 c #Conflicts: 862000 | #Constraints: 81677
2220.42/2227.10 c #Conflicts: 863000 | #Constraints: 82677
2220.42/2227.10 c #Conflicts: 864000 | #Constraints: 83677
2220.42/2227.10 c #Conflicts: 865000 | #Constraints: 84677
2220.42/2227.10 c #Conflicts: 866000 | #Constraints: 85677
2220.42/2227.10 c #Conflicts: 867000 | #Constraints: 86677
2220.42/2227.10 c #Conflicts: 868000 | #Constraints: 87677
2220.42/2227.10 c #Conflicts: 869000 | #Constraints: 88677
2220.42/2227.10 c #Conflicts: 870000 | #Constraints: 89677
2220.42/2227.10 c #Conflicts: 871000 | #Constraints: 90677
2220.42/2227.10 c #Conflicts: 872000 | #Constraints: 91677
2220.42/2227.10 c #Conflicts: 873000 | #Constraints: 92677
2220.42/2227.10 c #Conflicts: 874000 | #Constraints: 93677
2252.33/2259.15 c #Conflicts: 875000 | #Constraints: 94677
2252.33/2259.15 c #Conflicts: 876000 | #Constraints: 95677
2252.33/2259.15 c #Conflicts: 877000 | #Constraints: 96677
2252.33/2259.15 c #Conflicts: 878000 | #Constraints: 97677
2252.33/2259.15 c #Conflicts: 879000 | #Constraints: 98677
2252.33/2259.15 c #Conflicts: 880000 | #Constraints: 99677
2252.33/2259.15 c #Conflicts: 881000 | #Constraints: 100677
2252.33/2259.15 c #Conflicts: 882000 | #Constraints: 101677
2252.33/2259.15 c #Conflicts: 883000 | #Constraints: 102677
2252.33/2259.15 c INPROCESSING
2252.33/2259.15 c GARBAGE COLLECT
2252.33/2259.15 c rational objective 1.11799e-13
2306.26/2313.24 c #Conflicts: 884000 | #Constraints: 57256
2306.26/2313.24 c #Conflicts: 885000 | #Constraints: 58256
2306.26/2313.24 c #Conflicts: 886000 | #Constraints: 59256
2306.26/2313.24 c #Conflicts: 887000 | #Constraints: 60256
2306.26/2313.24 c #Conflicts: 888000 | #Constraints: 61256
2306.26/2313.24 c #Conflicts: 889000 | #Constraints: 62256
2306.26/2313.24 c #Conflicts: 890000 | #Constraints: 63256
2306.26/2313.24 c #Conflicts: 891000 | #Constraints: 64256
2306.26/2313.24 c #Conflicts: 892000 | #Constraints: 65256
2306.26/2313.24 c #Conflicts: 893000 | #Constraints: 66256
2306.26/2313.24 c #Conflicts: 894000 | #Constraints: 67256
2306.26/2313.24 c #Conflicts: 895000 | #Constraints: 68256
2306.26/2313.24 c #Conflicts: 896000 | #Constraints: 69256
2306.26/2313.24 c #Conflicts: 897000 | #Constraints: 70256
2306.26/2313.24 c #Conflicts: 898000 | #Constraints: 71256
2306.26/2313.24 c #Conflicts: 899000 | #Constraints: 72256
2306.26/2313.24 c #Conflicts: 900000 | #Constraints: 73256
2306.26/2313.24 c #Conflicts: 901000 | #Constraints: 74256
2306.26/2313.24 c #Conflicts: 902000 | #Constraints: 75256
2306.26/2313.24 c #Conflicts: 903000 | #Constraints: 76256
2306.26/2313.25 c #Conflicts: 904000 | #Constraints: 77256
2306.26/2313.25 c #Conflicts: 905000 | #Constraints: 78256
2306.26/2313.25 c #Conflicts: 906000 | #Constraints: 79256
2306.26/2313.25 c INPROCESSING
2306.26/2313.25 c GARBAGE COLLECT
2306.26/2313.25 c rational objective 1.11799e-13
2592.54/2600.33 c #Conflicts: 907000 | #Constraints: 45428
2592.54/2600.33 c #Conflicts: 908000 | #Constraints: 46428
2592.54/2600.33 c #Conflicts: 909000 | #Constraints: 47428
2592.54/2600.33 c #Conflicts: 910000 | #Constraints: 48428
2592.54/2600.33 c #Conflicts: 911000 | #Constraints: 49428
2592.54/2600.33 c #Conflicts: 912000 | #Constraints: 50428
2592.54/2600.33 c #Conflicts: 913000 | #Constraints: 51428
2592.54/2600.33 c #Conflicts: 914000 | #Constraints: 52428
2592.54/2600.33 c #Conflicts: 915000 | #Constraints: 53428
2592.54/2600.33 c #Conflicts: 916000 | #Constraints: 54429
2592.54/2600.33 c #Conflicts: 917000 | #Constraints: 55429
2592.54/2600.33 c #Conflicts: 918000 | #Constraints: 56429
2592.54/2600.33 c #Conflicts: 919000 | #Constraints: 57429
2592.54/2600.33 c #Conflicts: 920000 | #Constraints: 58429
2592.54/2600.33 c #Conflicts: 921000 | #Constraints: 59429
2592.54/2600.33 c #Conflicts: 922000 | #Constraints: 60429
2592.54/2600.33 c #Conflicts: 923000 | #Constraints: 61429
2592.54/2600.33 c #Conflicts: 924000 | #Constraints: 62429
2592.54/2600.33 c #Conflicts: 925000 | #Constraints: 63429
2592.54/2600.33 c #Conflicts: 926000 | #Constraints: 64429
2592.54/2600.33 c #Conflicts: 927000 | #Constraints: 65429
2592.54/2600.33 c #Conflicts: 928000 | #Constraints: 66429
2592.54/2600.33 c #Conflicts: 929000 | #Constraints: 67429
2592.54/2600.33 c #Conflicts: 930000 | #Constraints: 68429
2592.54/2600.33 c INPROCESSING
2592.54/2600.33 c GARBAGE COLLECT
2592.54/2600.33 c #Conflicts: 931000 | #Constraints: 41323
2592.54/2600.33 c #Conflicts: 932000 | #Constraints: 42323
2592.54/2600.33 c #Conflicts: 933000 | #Constraints: 43323
2592.54/2600.33 c #Conflicts: 934000 | #Constraints: 44323
2592.54/2600.33 c #Conflicts: 935000 | #Constraints: 45323
2592.54/2600.33 c #Conflicts: 936000 | #Constraints: 46323
2592.54/2600.33 c #Conflicts: 937000 | #Constraints: 47323
2592.54/2600.33 c #Conflicts: 938000 | #Constraints: 48323
2592.54/2600.33 c #Conflicts: 939000 | #Constraints: 49323
2592.54/2600.33 c #Conflicts: 940000 | #Constraints: 50323
2592.54/2600.33 c #Conflicts: 941000 | #Constraints: 51323
2592.54/2600.33 c #Conflicts: 942000 | #Constraints: 52323
2592.54/2600.33 c #Conflicts: 943000 | #Constraints: 53323
2592.54/2600.33 c #Conflicts: 944000 | #Constraints: 54323
2592.54/2600.33 c #Conflicts: 945000 | #Constraints: 55323
2592.54/2600.33 c #Conflicts: 946000 | #Constraints: 56323
2592.54/2600.33 c #Conflicts: 947000 | #Constraints: 57323
2592.54/2600.33 c #Conflicts: 948000 | #Constraints: 58323
2592.54/2600.33 c #Conflicts: 949000 | #Constraints: 59323
2592.54/2600.33 c #Conflicts: 950000 | #Constraints: 60323
2592.54/2600.33 c #Conflicts: 951000 | #Constraints: 61323
2592.54/2600.33 c #Conflicts: 952000 | #Constraints: 62323
2592.54/2600.33 c #Conflicts: 953000 | #Constraints: 63323
2592.54/2600.33 c #Conflicts: 954000 | #Constraints: 64323
2592.54/2600.33 c #Conflicts: 955000 | #Constraints: 65323
2592.54/2600.33 c #Conflicts: 956000 | #Constraints: 66323
2592.54/2600.33 c #Conflicts: 957000 | #Constraints: 67323
2592.54/2600.33 c #Conflicts: 958000 | #Constraints: 68323
2592.54/2600.33 c #Conflicts: 959000 | #Constraints: 69323
2592.54/2600.33 c #Conflicts: 960000 | #Constraints: 70323
2592.54/2600.33 c #Conflicts: 961000 | #Constraints: 71323
2592.54/2600.33 c #Conflicts: 962000 | #Constraints: 72323
2592.54/2600.33 c #Conflicts: 963000 | #Constraints: 73324
2592.54/2600.33 c #Conflicts: 964000 | #Constraints: 74324
2592.54/2600.33 c #Conflicts: 965000 | #Constraints: 75324
2592.54/2600.33 c #Conflicts: 966000 | #Constraints: 76324
2592.54/2600.33 c #Conflicts: 967000 | #Constraints: 77324
2592.54/2600.33 c #Conflicts: 968000 | #Constraints: 78324
2592.54/2600.33 c #Conflicts: 969000 | #Constraints: 79324
2592.54/2600.33 c #Conflicts: 970000 | #Constraints: 80324
2592.54/2600.33 c #Conflicts: 971000 | #Constraints: 81324
2592.54/2600.33 c #Conflicts: 972000 | #Constraints: 82324
2592.54/2600.33 c #Conflicts: 973000 | #Constraints: 83324
2592.54/2600.33 c #Conflicts: 974000 | #Constraints: 84324
2592.54/2600.33 c #Conflicts: 975000 | #Constraints: 85324
2592.54/2600.33 c #Conflicts: 976000 | #Constraints: 86324
2592.54/2600.33 c #Conflicts: 977000 | #Constraints: 87324
2592.54/2600.33 c #Conflicts: 978000 | #Constraints: 88324
2592.54/2600.33 c #Conflicts: 979000 | #Constraints: 89324
2592.54/2600.33 c #Conflicts: 980000 | #Constraints: 90324
2592.54/2600.33 c #Conflicts: 981000 | #Constraints: 91324
2592.54/2600.33 c #Conflicts: 982000 | #Constraints: 92324
2592.54/2600.33 c #Conflicts: 983000 | #Constraints: 93324
2592.54/2600.33 c #Conflicts: 984000 | #Constraints: 94324
2592.54/2600.33 c #Conflicts: 985000 | #Constraints: 95324
2690.97/2699.06 c #Conflicts: 986000 | #Constraints: 96324
2690.97/2699.06 c #Conflicts: 987000 | #Constraints: 97324
2690.97/2699.06 c #Conflicts: 988000 | #Constraints: 98324
2690.97/2699.06 c #Conflicts: 989000 | #Constraints: 99324
2690.97/2699.06 c #Conflicts: 990000 | #Constraints: 100324
2690.97/2699.06 c #Conflicts: 991000 | #Constraints: 101324
2690.97/2699.06 c #Conflicts: 992000 | #Constraints: 102324
2690.97/2699.06 c #Conflicts: 993000 | #Constraints: 103324
2690.97/2699.06 c #Conflicts: 994000 | #Constraints: 104324
2690.97/2699.06 c #Conflicts: 995000 | #Constraints: 105324
2690.97/2699.06 c #Conflicts: 996000 | #Constraints: 106324
2690.97/2699.06 c #Conflicts: 997000 | #Constraints: 107324
2690.97/2699.06 c #Conflicts: 998000 | #Constraints: 108324
2690.97/2699.06 c #Conflicts: 999000 | #Constraints: 109324
2690.97/2699.06 c INPROCESSING
2690.97/2699.06 c GARBAGE COLLECT
2690.97/2699.06 c rational objective 1.11799e-13
2946.60/2955.33 c #Conflicts: 1000000 | #Constraints: 60457
2946.60/2955.33 c #Conflicts: 1001000 | #Constraints: 61457
2946.60/2955.33 c #Conflicts: 1002000 | #Constraints: 62457
2946.60/2955.33 c #Conflicts: 1003000 | #Constraints: 63457
2946.60/2955.33 c #Conflicts: 1004000 | #Constraints: 64457
2946.60/2955.33 c #Conflicts: 1005000 | #Constraints: 65457
2946.60/2955.33 c #Conflicts: 1006000 | #Constraints: 66457
2946.60/2955.33 c #Conflicts: 1007000 | #Constraints: 67457
2946.60/2955.33 c #Conflicts: 1008000 | #Constraints: 68457
2946.60/2955.33 c #Conflicts: 1009000 | #Constraints: 69457
2946.60/2955.33 c #Conflicts: 1010000 | #Constraints: 70457
2946.60/2955.33 c #Conflicts: 1011000 | #Constraints: 71457
2946.60/2955.33 c #Conflicts: 1012000 | #Constraints: 72457
2946.60/2955.33 c #Conflicts: 1013000 | #Constraints: 73457
2946.60/2955.33 c #Conflicts: 1014000 | #Constraints: 74457
2946.60/2955.33 c #Conflicts: 1015000 | #Constraints: 75457
2946.60/2955.33 c #Conflicts: 1016000 | #Constraints: 76457
2946.60/2955.33 c #Conflicts: 1017000 | #Constraints: 77457
2946.60/2955.33 c #Conflicts: 1018000 | #Constraints: 78457
2946.60/2955.33 c #Conflicts: 1019000 | #Constraints: 79457
2946.60/2955.33 c #Conflicts: 1020000 | #Constraints: 80457
2946.60/2955.33 c #Conflicts: 1021000 | #Constraints: 81457
2946.60/2955.33 c #Conflicts: 1022000 | #Constraints: 82457
2946.60/2955.33 c #Conflicts: 1023000 | #Constraints: 83457
2946.60/2955.33 c #Conflicts: 1024000 | #Constraints: 84457
2946.60/2955.33 c INPROCESSING
2946.60/2955.33 c GARBAGE COLLECT
2946.60/2955.33 c #Conflicts: 1025000 | #Constraints: 47996
2946.60/2955.33 c #Conflicts: 1026000 | #Constraints: 48996
2946.60/2955.33 c #Conflicts: 1027000 | #Constraints: 49996
2946.60/2955.33 c #Conflicts: 1028000 | #Constraints: 50996
2946.60/2955.33 c #Conflicts: 1029000 | #Constraints: 51996
2946.60/2955.33 c #Conflicts: 1030000 | #Constraints: 52996
2946.60/2955.33 c #Conflicts: 1031000 | #Constraints: 53996
2946.60/2955.33 c #Conflicts: 1032000 | #Constraints: 54996
2946.60/2955.33 c #Conflicts: 1033000 | #Constraints: 55996
2946.60/2955.33 c #Conflicts: 1034000 | #Constraints: 56996
2946.60/2955.33 c #Conflicts: 1035000 | #Constraints: 57996
2946.60/2955.33 c #Conflicts: 1036000 | #Constraints: 58996
2946.60/2955.33 c #Conflicts: 1037000 | #Constraints: 59996
2946.60/2955.33 c #Conflicts: 1038000 | #Constraints: 60996
2946.60/2955.33 c #Conflicts: 1039000 | #Constraints: 61996
2946.60/2955.33 c #Conflicts: 1040000 | #Constraints: 62996
2946.60/2955.33 c #Conflicts: 1041000 | #Constraints: 63996
2946.60/2955.33 c #Conflicts: 1042000 | #Constraints: 64996
2946.60/2955.33 c #Conflicts: 1043000 | #Constraints: 65996
2946.60/2955.33 c #Conflicts: 1044000 | #Constraints: 66996
2946.60/2955.33 c #Conflicts: 1045000 | #Constraints: 67996
2946.60/2955.33 c #Conflicts: 1046000 | #Constraints: 68996
2946.60/2955.33 c #Conflicts: 1047000 | #Constraints: 69996
2946.60/2955.33 c #Conflicts: 1048000 | #Constraints: 70996
2946.60/2955.33 c #Conflicts: 1049000 | #Constraints: 71996
2946.60/2955.33 c INPROCESSING
2946.60/2955.33 c GARBAGE COLLECT
2946.60/2955.33 c #Conflicts: 1050000 | #Constraints: 42694
2946.60/2955.33 c #Conflicts: 1051000 | #Constraints: 43694
2946.60/2955.33 c #Conflicts: 1052000 | #Constraints: 44694
2946.60/2955.33 c #Conflicts: 1053000 | #Constraints: 45694
2946.60/2955.33 c #Conflicts: 1054000 | #Constraints: 46694
2946.60/2955.33 c #Conflicts: 1055000 | #Constraints: 47694
2946.60/2955.33 c #Conflicts: 1056000 | #Constraints: 48694
2946.60/2955.33 c #Conflicts: 1057000 | #Constraints: 49694
2946.60/2955.33 c #Conflicts: 1058000 | #Constraints: 50694
2946.60/2955.33 c #Conflicts: 1059000 | #Constraints: 51694
2946.60/2955.33 c #Conflicts: 1060000 | #Constraints: 52694
2946.60/2955.33 c #Conflicts: 1061000 | #Constraints: 53694
2946.60/2955.33 c #Conflicts: 1062000 | #Constraints: 54694
2946.60/2955.33 c #Conflicts: 1063000 | #Constraints: 55694
2946.60/2955.33 c #Conflicts: 1064000 | #Constraints: 56694
2946.60/2955.33 c #Conflicts: 1065000 | #Constraints: 57694
2946.60/2955.33 c #Conflicts: 1066000 | #Constraints: 58694
2946.60/2955.33 c #Conflicts: 1067000 | #Constraints: 59694
2946.60/2955.33 c #Conflicts: 1068000 | #Constraints: 60694
2946.60/2955.33 c #Conflicts: 1069000 | #Constraints: 61694
2946.60/2955.33 c #Conflicts: 1070000 | #Constraints: 62694
2946.60/2955.33 c #Conflicts: 1071000 | #Constraints: 63694
2946.60/2955.33 c #Conflicts: 1072000 | #Constraints: 64694
2946.60/2955.33 c #Conflicts: 1073000 | #Constraints: 65694
2946.60/2955.33 c #Conflicts: 1074000 | #Constraints: 66694
2946.60/2955.33 c #Conflicts: 1075000 | #Constraints: 67694
2946.60/2955.33 c #Conflicts: 1076000 | #Constraints: 68694
2946.60/2955.33 c #Conflicts: 1077000 | #Constraints: 69694
3260.67/3270.25 c #Conflicts: 1078000 | #Constraints: 70694
3260.67/3270.25 c #Conflicts: 1079000 | #Constraints: 71694
3260.67/3270.25 c #Conflicts: 1080000 | #Constraints: 72694
3260.67/3270.25 c #Conflicts: 1081000 | #Constraints: 73694
3260.67/3270.25 c #Conflicts: 1082000 | #Constraints: 74694
3260.67/3270.25 c #Conflicts: 1083000 | #Constraints: 75694
3260.67/3270.25 c #Conflicts: 1084000 | #Constraints: 76694
3260.67/3270.25 c #Conflicts: 1085000 | #Constraints: 77694
3260.67/3270.25 c #Conflicts: 1086000 | #Constraints: 78694
3260.67/3270.25 c #Conflicts: 1087000 | #Constraints: 79694
3260.67/3270.25 c #Conflicts: 1088000 | #Constraints: 80694
3260.67/3270.25 c #Conflicts: 1089000 | #Constraints: 81694
3260.67/3270.25 c #Conflicts: 1090000 | #Constraints: 82694
3260.67/3270.25 c #Conflicts: 1091000 | #Constraints: 83694
3260.67/3270.25 c #Conflicts: 1092000 | #Constraints: 84694
3260.67/3270.25 c #Conflicts: 1093000 | #Constraints: 85694
3260.67/3270.25 c #Conflicts: 1094000 | #Constraints: 86694
3260.67/3270.25 c #Conflicts: 1095000 | #Constraints: 87694
3260.67/3270.25 c #Conflicts: 1096000 | #Constraints: 88694
3260.67/3270.25 c #Conflicts: 1097000 | #Constraints: 89694
3260.67/3270.25 c #Conflicts: 1098000 | #Constraints: 90694
3260.67/3270.25 c #Conflicts: 1099000 | #Constraints: 91694
3260.67/3270.25 c #Conflicts: 1100000 | #Constraints: 92694
3260.67/3270.25 c #Conflicts: 1101000 | #Constraints: 93694
3260.67/3270.25 c #Conflicts: 1102000 | #Constraints: 94694
3260.67/3270.25 c #Conflicts: 1103000 | #Constraints: 95694
3260.67/3270.25 c #Conflicts: 1104000 | #Constraints: 96694
3260.67/3270.25 c #Conflicts: 1105000 | #Constraints: 97694
3260.67/3270.25 c #Conflicts: 1106000 | #Constraints: 98694
3260.67/3270.25 c #Conflicts: 1107000 | #Constraints: 99694
3260.67/3270.25 c #Conflicts: 1108000 | #Constraints: 100694
3260.67/3270.25 c #Conflicts: 1109000 | #Constraints: 101694
3260.67/3270.25 c #Conflicts: 1110000 | #Constraints: 102694
3260.67/3270.25 c #Conflicts: 1111000 | #Constraints: 103694
3260.67/3270.25 c #Conflicts: 1112000 | #Constraints: 104694
3260.67/3270.25 c #Conflicts: 1113000 | #Constraints: 105694
3260.67/3270.25 c #Conflicts: 1114000 | #Constraints: 106694
3260.67/3270.25 c #Conflicts: 1115000 | #Constraints: 107694
3260.67/3270.25 c #Conflicts: 1116000 | #Constraints: 108694
3260.67/3270.25 c #Conflicts: 1117000 | #Constraints: 109694
3260.67/3270.25 c #Conflicts: 1118000 | #Constraints: 110694
3260.67/3270.25 c #Conflicts: 1119000 | #Constraints: 111694
3260.67/3270.25 c #Conflicts: 1120000 | #Constraints: 112694
3260.67/3270.25 c #Conflicts: 1121000 | #Constraints: 113694
3260.67/3270.25 c #Conflicts: 1122000 | #Constraints: 114694
3260.67/3270.25 c #Conflicts: 1123000 | #Constraints: 115694
3260.67/3270.25 c INPROCESSING
3260.67/3270.25 c GARBAGE COLLECT
3260.67/3270.25 c rational objective 1.11799e-13
3354.33/3364.13 c #Conflicts: 1124000 | #Constraints: 63860
3354.33/3364.13 c #Conflicts: 1125000 | #Constraints: 64860
3354.33/3364.13 c #Conflicts: 1126000 | #Constraints: 65860
3354.33/3364.13 c #Conflicts: 1127000 | #Constraints: 66860
3354.33/3364.13 c #Conflicts: 1128000 | #Constraints: 67860
3354.33/3364.13 c #Conflicts: 1129000 | #Constraints: 68860
3354.33/3364.13 c #Conflicts: 1130000 | #Constraints: 69860
3354.33/3364.13 c #Conflicts: 1131000 | #Constraints: 70860
3354.33/3364.13 c #Conflicts: 1132000 | #Constraints: 71860
3354.33/3364.13 c #Conflicts: 1133000 | #Constraints: 72860
3354.33/3364.13 c #Conflicts: 1134000 | #Constraints: 73860
3354.33/3364.13 c #Conflicts: 1135000 | #Constraints: 74860
3354.33/3364.13 c #Conflicts: 1136000 | #Constraints: 75860
3354.33/3364.13 c #Conflicts: 1137000 | #Constraints: 76860
3354.33/3364.13 c #Conflicts: 1138000 | #Constraints: 77860
3354.33/3364.13 c #Conflicts: 1139000 | #Constraints: 78860
3354.33/3364.13 c #Conflicts: 1140000 | #Constraints: 79860
3354.33/3364.13 c #Conflicts: 1141000 | #Constraints: 80860
3354.33/3364.13 c #Conflicts: 1142000 | #Constraints: 81860
3354.33/3364.13 c #Conflicts: 1143000 | #Constraints: 82860
3354.33/3364.13 c #Conflicts: 1144000 | #Constraints: 83860
3354.33/3364.13 c #Conflicts: 1145000 | #Constraints: 84860
3354.33/3364.13 c #Conflicts: 1146000 | #Constraints: 85860
3354.33/3364.13 c #Conflicts: 1147000 | #Constraints: 86860
3354.33/3364.13 c #Conflicts: 1148000 | #Constraints: 87860
3354.33/3364.13 c #Conflicts: 1149000 | #Constraints: 88860
3354.33/3364.13 c INPROCESSING
3354.33/3364.13 c GARBAGE COLLECT
3354.33/3364.13 c rational objective 0
3568.37/3578.76 c #Conflicts: 1150000 | #Constraints: 50173
3568.37/3578.76 c #Conflicts: 1151000 | #Constraints: 51173
3568.37/3578.76 c #Conflicts: 1152000 | #Constraints: 52173
3568.37/3578.76 c #Conflicts: 1153000 | #Constraints: 53173
3568.37/3578.76 c #Conflicts: 1154000 | #Constraints: 54173
3568.37/3578.76 c #Conflicts: 1155000 | #Constraints: 55173
3568.37/3578.76 c #Conflicts: 1156000 | #Constraints: 56173
3568.37/3578.76 c #Conflicts: 1157000 | #Constraints: 57173
3568.37/3578.76 c #Conflicts: 1158000 | #Constraints: 58173
3568.37/3578.76 c #Conflicts: 1159000 | #Constraints: 59173
3568.37/3578.76 c #Conflicts: 1160000 | #Constraints: 60173
3568.37/3578.76 c #Conflicts: 1161000 | #Constraints: 61173
3568.37/3578.76 c #Conflicts: 1162000 | #Constraints: 62173
3568.37/3578.76 c #Conflicts: 1163000 | #Constraints: 63173
3568.37/3578.76 c #Conflicts: 1164000 | #Constraints: 64173
3568.37/3578.76 c #Conflicts: 1165000 | #Constraints: 65173
3568.37/3578.76 c #Conflicts: 1166000 | #Constraints: 66173
3568.37/3578.76 c #Conflicts: 1167000 | #Constraints: 67173
3568.37/3578.76 c #Conflicts: 1168000 | #Constraints: 68173
3568.37/3578.76 c #Conflicts: 1169000 | #Constraints: 69173
3568.37/3578.76 c #Conflicts: 1170000 | #Constraints: 70173
3568.37/3578.76 c #Conflicts: 1171000 | #Constraints: 71173
3568.37/3578.76 c #Conflicts: 1172000 | #Constraints: 72173
3568.37/3578.76 c #Conflicts: 1173000 | #Constraints: 73173
3568.37/3578.76 c #Conflicts: 1174000 | #Constraints: 74173
3568.37/3578.76 c #Conflicts: 1175000 | #Constraints: 75173
3568.37/3578.76 c #Conflicts: 1176000 | #Constraints: 76174
3568.37/3578.76 c INPROCESSING
3568.37/3578.76 c GARBAGE COLLECT
3568.37/3578.76 c #Conflicts: 1177000 | #Constraints: 44533
3568.37/3578.76 c #Conflicts: 1178000 | #Constraints: 45533
3568.37/3578.76 c #Conflicts: 1179000 | #Constraints: 46533
3568.37/3578.76 c #Conflicts: 1180000 | #Constraints: 47533
3568.37/3578.76 c #Conflicts: 1181000 | #Constraints: 48533
3568.37/3578.76 c #Conflicts: 1182000 | #Constraints: 49533
3568.37/3578.76 c #Conflicts: 1183000 | #Constraints: 50533
3568.37/3578.76 c #Conflicts: 1184000 | #Constraints: 51533
3568.37/3578.76 c #Conflicts: 1185000 | #Constraints: 52533
3568.37/3578.76 c #Conflicts: 1186000 | #Constraints: 53533
3568.37/3578.76 c #Conflicts: 1187000 | #Constraints: 54533
3568.37/3578.76 c #Conflicts: 1188000 | #Constraints: 55533
3568.37/3578.76 c #Conflicts: 1189000 | #Constraints: 56533
3568.37/3578.76 c #Conflicts: 1190000 | #Constraints: 57533
3568.37/3578.76 c #Conflicts: 1191000 | #Constraints: 58533
3568.37/3578.76 c #Conflicts: 1192000 | #Constraints: 59533
3568.37/3578.76 c #Conflicts: 1193000 | #Constraints: 60533
3568.37/3578.76 c #Conflicts: 1194000 | #Constraints: 61533
3568.37/3578.76 c #Conflicts: 1195000 | #Constraints: 62533
3568.37/3578.76 c #Conflicts: 1196000 | #Constraints: 63533
3568.37/3578.76 c #Conflicts: 1197000 | #Constraints: 64533
3568.37/3578.76 c #Conflicts: 1198000 | #Constraints: 65533
3568.37/3578.76 c #Conflicts: 1199000 | #Constraints: 66533
3568.37/3578.76 c #Conflicts: 1200000 | #Constraints: 67533
3568.37/3578.76 c #Conflicts: 1201000 | #Constraints: 68533
3568.37/3578.76 c #Conflicts: 1202000 | #Constraints: 69533
3568.37/3578.76 c #Conflicts: 1203000 | #Constraints: 70533
3568.37/3578.76 c #Conflicts: 1204000 | #Constraints: 71533
3568.37/3578.76 c #Conflicts: 1205000 | #Constraints: 72533
3568.37/3578.76 c #Conflicts: 1206000 | #Constraints: 73533
3568.37/3578.76 c #Conflicts: 1207000 | #Constraints: 74533
3568.37/3578.76 c #Conflicts: 1208000 | #Constraints: 75533
3568.37/3578.76 c #Conflicts: 1209000 | #Constraints: 76533
3568.37/3578.76 c #Conflicts: 1210000 | #Constraints: 77533
3568.37/3578.76 c #Conflicts: 1211000 | #Constraints: 78533
3568.37/3578.76 c #Conflicts: 1212000 | #Constraints: 79533
3568.37/3578.76 c #Conflicts: 1213000 | #Constraints: 80533
3568.37/3578.76 c #Conflicts: 1214000 | #Constraints: 81533
3568.37/3578.76 c #Conflicts: 1215000 | #Constraints: 82533
3568.37/3578.76 c #Conflicts: 1216000 | #Constraints: 83533
3568.37/3578.76 c #Conflicts: 1217000 | #Constraints: 84533
3568.37/3578.76 c #Conflicts: 1218000 | #Constraints: 85533
3568.37/3578.76 c #Conflicts: 1219000 | #Constraints: 86533
3568.37/3578.76 c #Conflicts: 1220000 | #Constraints: 87533
3568.37/3578.76 c #Conflicts: 1221000 | #Constraints: 88533
3568.37/3578.76 c #Conflicts: 1222000 | #Constraints: 89533
3568.37/3578.76 c #Conflicts: 1223000 | #Constraints: 90533
3568.37/3578.76 c #Conflicts: 1224000 | #Constraints: 91533
3568.37/3578.76 c #Conflicts: 1225000 | #Constraints: 92533
3568.37/3578.76 c #Conflicts: 1226000 | #Constraints: 93533
3568.37/3578.76 c #Conflicts: 1227000 | #Constraints: 94533
3568.37/3578.76 c #Conflicts: 1228000 | #Constraints: 95533
3600.08/3610.50 c #Conflicts: 1229000 | #Constraints: 96533
3600.08/3610.50 c #Conflicts: 1230000 | #Constraints: 97533
3600.08/3610.50 c #Conflicts: 1231000 | #Constraints: 98533
3600.08/3610.50 c #Conflicts: 1232000 | #Constraints: 99533
3600.08/3610.50 c #Conflicts: 1233000 | #Constraints: 100533
3600.08/3610.50 c #Conflicts: 1234000 | #Constraints: 101533
3600.08/3610.50 c #Conflicts: 1235000 | #Constraints: 102533
3600.08/3610.50 c cpu time 3593.11 s
3600.08/3610.50 c deterministic time 87820013004 8.78e+10
3600.08/3610.50 c optimization time 177.75 s
3600.08/3610.50 c total solve time 3415.34 s
3600.08/3610.50 c core-guided solve time 0 s
3600.08/3610.50 c propagation time 1156.94 s
3600.08/3610.50 c conflict analysis time 2378.5 s
3600.08/3610.50 c propagations 653471285
3600.08/3610.50 c resolve steps 275169257
3600.08/3610.50 c decisions 1881558
3600.08/3610.50 c conflicts 1235747
3600.08/3610.50 c restarts 2330
3600.08/3610.50 c inprocessing phases 56
3600.08/3610.50 c garbage collections 56 ,( 100.00 )
3600.08/3610.50 c input clauses 6156 ,( 68.67 )
3600.08/3610.50 c input cardinalities 0 ,( 0.00 )
3600.08/3610.50 c input general constraints 2809 ,( 31.33 )
3600.08/3610.50 c input average constraint length 3.10
3600.08/3610.50 c input average constraint degree 2009414223033.63
3600.08/3610.50 c learned clauses 998938 ,( 80.84 )
3600.08/3610.50 c learned cardinalities 108 ,( 0.01 )
3600.08/3610.50 c learned general constraints 236711 ,( 19.16 )
3600.08/3610.50 c learned average constraint length 487.00
3600.08/3610.50 c learned average constraint degree 54460476.29
3600.08/3610.50 c watched CF 32, 64, 128, Arb: 55598 , 0 , 0 , 0
3600.08/3610.50 c counting CF 32, 64, 128, Arb: 183921 , 1 , 0 , 0
3600.08/3610.50 c watched constraints 55598 ,( 23.21 )
3600.08/3610.50 c counting constraints 183922 ,( 76.79 )
3600.08/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 802502537 , 2317756 , 14562359465 ,( 120944544 , 14441414921 )
3600.08/3610.50 c gcd simplifications 22134
3600.08/3610.50 c detected cardinalities 23
3600.08/3610.50 c weakened non-implied lits 91817985
3600.08/3610.50 c weakened non-implying lits 397408
3600.08/3610.50 c original variables 4482
3600.08/3610.50 c clausal propagations 178879550
3600.08/3610.50 c cardinality propagations 91633
3600.08/3610.50 c watched propagations 1380228
3600.08/3610.50 c counting propagations 471873718
3600.08/3610.50 c watch lookups 55800662008
3600.08/3610.50 c watch backjump lookups 0
3600.08/3610.50 c watch checks 7145942300
3600.08/3610.50 c propagation checks 21127344512
3600.08/3610.50 c constraint additions 2433883023
3600.08/3610.50 c trail pops 656585300
3600.08/3610.50 c formula constraints 8965
3600.08/3610.50 c learned constraints 1235736
3600.08/3610.50 c bound constraints 0
3600.08/3610.50 c core-guided constraints 0
3600.08/3610.50 c encountered formula constraints 214314322
3600.08/3610.50 c encountered learned constraints 61904281
3600.08/3610.50 c encountered bound constraints 0
3600.08/3610.50 c encountered core-guided constraints 0
3600.08/3610.50 c LP total time 20.1649 s
3600.08/3610.50 c LP solve time 18.9 s
3600.08/3610.50 c LP constraints added 8965
3600.08/3610.50 c LP constraints removed 0
3600.08/3610.50 c LP pivots internal 124101
3600.08/3610.50 c LP pivots root 118916
3600.08/3610.50 c LP calls 274
3600.08/3610.50 c LP optimalities 259
3600.08/3610.50 c LP no pivot count 19
3600.08/3610.50 c LP infeasibilities 11
3600.08/3610.50 c LP valid Farkas constraints 11
3600.08/3610.50 c LP learned Farkas constraints 10
3600.08/3610.50 c LP basis resets 0
3600.08/3610.50 c LP cycling count 0
3600.08/3610.50 c LP singular count 0
3600.08/3610.50 c LP no primal count 0
3600.08/3610.50 c LP no farkas count 0
3600.08/3610.50 c LP other issue count 0
3600.08/3610.50 c LP Gomory cuts 0
3600.08/3610.50 c LP learned cuts 0
3600.08/3610.50 c LP deleted cuts 0
3600.08/3610.50 c LP encountered Gomory constraints 0
3600.08/3610.50 c LP encountered Farkas constraints 184742
3600.08/3610.50 c LP encountered learned Farkas constraints 1649
3600.08/3610.50 c CG auxiliary variables introduced 0
3600.08/3610.50 c CG solutions found 0
3600.08/3610.50 c CG cores constructed 0
3600.08/3610.50 c CG core cardinality constraints returned 0
3600.08/3610.50 c CG unit cores 0
3600.08/3610.50 c CG single cores 0
3600.08/3610.50 c CG blocks removed during cardinality reduction 0
3600.08/3610.50 c CG first core best 0
3600.08/3610.50 c CG decision core best 0
3600.08/3610.50 c CG core reduction tie 0
3600.08/3610.50 c CG core degree average 0.00
3600.08/3610.50 c CG core slack average 0.00
3600.08/3610.50 c CG core upper bound improvements 0
3600.08/3610.50 c STR number of successful calls 0
3600.08/3610.50 c STR number of unsuccessful calls 0
3600.08/3610.50 c STR number of inconclusive calls 0
3600.08/3610.50 c STR number of successful attempts 0
3600.08/3610.50 c STR number of unsuccessful attempts 0
3600.08/3610.50 c STR number of inconclusive attempts 0
3600.08/3610.50 c STR average degree increase per successful call inf
3600.08/3610.50 c STR average degree increase per successful attempt inf
3600.08/3610.50 c STR total number of conflicts for successful attempts 0
3600.08/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.50 c STR average number of conflicts per successful attempt inf
3600.08/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.50 c AVG.sumWPerc 66.87
3600.08/3610.50 c bigint constraints 1
3600.08/3610.50 s UNKNOWN
3600.08/3610.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60320 MiB free)
memory of node 1: 64465 MiB (57090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542075-1753211625/watcher-4542075-1753211625 -o /tmp/evaluation-result-4542075-1753211625/solver-4542075-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164104 --watchdog 3760 run-dec-ls.sh HOME/instance-4542075-1753211625.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164150, runsolver pid=164144
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120189308/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=73328 memory=24436 CPUtime=0.07 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 4573 0 0 0 6 1 0 0 20 0 1 0 236839994 75087872 6109 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 18332 6109 2304 1147 0 5759 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77520 KiB
Current children cumulated memory: 27124 KiB
[startup+0.205622 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120156800/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=74568 memory=25588 CPUtime=0.17 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 4795 0 0 0 16 1 0 0 20 0 1 0 236839994 76357632 6397 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 18642 6397 2368 1147 0 6069 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78760 KiB
Current children cumulated memory: 28276 KiB
[startup+0.304966 s]*
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120155132/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=76036 memory=28020 CPUtime=0.27 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 5432 0 0 0 25 2 0 0 20 0 1 0 236839994 77860864 7005 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 19009 7005 2368 1147 0 6436 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 80228 KiB
Current children cumulated memory: 30708 KiB
[startup+0.700176 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120145304/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=76760 memory=29428 CPUtime=0.66 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 5779 0 0 0 63 3 0 0 20 0 1 0 236839994 78602240 7357 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 19190 7357 2368 1147 0 6617 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80952 KiB
Current children cumulated memory: 32116 KiB
[startup+1.50018 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120122048/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=77424 memory=32604 CPUtime=1.46 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 6046 0 0 0 143 3 0 0 20 0 1 0 236839994 79282176 8151 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 19356 8151 2368 1147 0 6783 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 81616 KiB
Current children cumulated memory: 35292 KiB
[startup+3.10536 s]
/proc/loadavg: 1.12 1.12 1.59 5/268 164167
/proc/meminfo: memFree=120087216/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=78504 memory=33244 CPUtime=3.06 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 6206 0 0 0 302 4 0 0 20 0 1 0 236839994 80388096 8311 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 19626 8311 2368 1147 0 7053 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82696 KiB
Current children cumulated memory: 35932 KiB
[startup+6.30018 s]
/proc/loadavg: 1.35 1.17 1.61 5/268 164167
/proc/meminfo: memFree=120063596/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=78784 memory=33756 CPUtime=6.24 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 6357 0 0 0 619 5 0 0 20 0 1 0 236839994 80674816 8439 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 19696 8439 2368 1147 0 7123 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 82976 KiB
Current children cumulated memory: 36444 KiB
[startup+12.7002 s]
/proc/loadavg: 1.64 1.23 1.62 5/268 164167
/proc/meminfo: memFree=120035424/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=83136 memory=35676 CPUtime=12.63 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 6813 0 0 0 1255 8 0 0 20 0 1 0 236839994 85131264 8919 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 20784 8919 2368 1147 0 8211 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 87328 KiB
Current children cumulated memory: 38364 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.37 1.66 5/268 164214
/proc/meminfo: memFree=117093176/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=85048 memory=37852 CPUtime=25.38 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 7382 0 0 0 2523 15 0 0 20 0 1 0 236839994 87089152 9463 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 21262 9463 2368 1147 0 8689 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 89240 KiB
Current children cumulated memory: 40540 KiB
[startup+51.1055 s]
/proc/loadavg: 2.93 1.61 1.74 5/268 164214
/proc/meminfo: memFree=117075332/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=117732 memory=62232 CPUtime=50.92 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 11480 0 0 0 5068 24 0 0 20 0 1 0 236839994 120557568 15558 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 29433 15558 2368 1147 0 16860 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 121924 KiB
Current children cumulated memory: 64920 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.00 1.86 5/268 164216
/proc/meminfo: memFree=116959880/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=128348 memory=82476 CPUtime=101.98 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 14363 0 0 0 10160 38 0 0 20 0 1 0 236839994 131428352 20619 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 32087 20619 2368 1147 0 19514 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 132540 KiB
Current children cumulated memory: 85164 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.40 2.01 5/271 164227
/proc/meminfo: memFree=116863760/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=153328 memory=91388 CPUtime=161.81 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 16101 0 0 0 16122 59 0 0 20 0 1 0 236839994 157007872 22847 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 38332 22847 2368 1147 0 25759 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 157520 KiB
Current children cumulated memory: 94076 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.71 2.14 5/270 164230
/proc/meminfo: memFree=116788856/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=154268 memory=92540 CPUtime=221.63 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 16405 0 0 0 22085 78 0 0 20 0 1 0 236839994 157970432 23135 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 38567 23135 2368 1147 0 25994 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/164156/statm: 167864 123743 2368 1147 0 155291 0
Current children cumulated CPU time: 3093.21 s
Current children cumulated vsize: 675648 KiB
Current children cumulated memory: 497660 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/268 164392
/proc/meminfo: memFree=115182448/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=679124 memory=506432 CPUtime=3153.05 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 68215 0 0 0 314679 626 0 0 20 0 1 0 236839994 695422976 126608 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 169781 126608 2368 1147 0 157208 0
Current children cumulated CPU time: 3153.05 s
Current children cumulated vsize: 683316 KiB
Current children cumulated memory: 509120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.03 6/268 164394
/proc/meminfo: memFree=115130896/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=686036 memory=542872 CPUtime=3212.89 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 69661 0 0 0 320657 632 0 0 20 0 1 0 236839994 702500864 135718 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 171509 135718 2368 1147 0 158936 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 690228 KiB
Current children cumulated memory: 545560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/269 164397
/proc/meminfo: memFree=115040712/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575320 CPUtime=3272.73 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71662 0 0 0 326631 642 0 0 20 0 1 0 236839994 713109504 143830 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143830 2368 1147 0 161526 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578008 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/269 164399
/proc/meminfo: memFree=114906596/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575320 CPUtime=3332.58 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71662 0 0 0 332608 650 0 0 20 0 1 0 236839994 713109504 143830 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143830 2368 1147 0 161526 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/269 164401
/proc/meminfo: memFree=114861408/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3392.43 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71739 0 0 0 338581 662 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/268 164404
/proc/meminfo: memFree=114876764/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3452.28 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71744 0 0 0 344554 674 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/268 164406
/proc/meminfo: memFree=114843820/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3512.12 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71744 0 0 0 350527 685 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/268 164408
/proc/meminfo: memFree=114803332/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3571.96 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71744 0 0 0 356503 693 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.12 4.11 4.05 4/262 164416
/proc/meminfo: memFree=115202560/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3600.08 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71744 0 0 0 359311 697 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 164150 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001102 s, system=0.001103 s
[startup+3610.51 s]
# the end of solver process 164156 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.12 s, system=6.98322 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.12 4.11 4.05 4/262 164416
/proc/meminfo: memFree=115202560/131250000 swapFree=33008356/33010684
[pid=164150] ppid=164144 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/164150/stat : 164150 (run-dec-ls.sh) S 164144 164150 164094 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 236839993 4292608 672 18446744073709551615 93995529838592 93995530733125 140720426749680 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93995530972176 93995531019920 93995540156416 140720426752357 140720426752483 140720426752483 140720426758087 0
/proc/164150/statm: 1048 672 640 219 0 110 0
[pid=164156] ppid=164150 vsize=696396 memory=575704 CPUtime=3600.08 cores=0,2
/proc/164156/stat : 164156 (roundingsat) R 164150 164150 164094 0 -1 4194304 71744 0 0 0 359311 697 0 0 20 0 1 0 236839994 713109504 143926 18446744073709551615 4227072 8923433 140721875789248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24756224 140721875798430 140721875798566 140721875798566 140721875804138 0
/proc/164156/statm: 174099 143926 2368 1147 0 161526 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 700588 KiB
Current children cumulated memory: 578392 KiB
Child status: 2
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3593.12
CPU system time (s): 6.98322
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 700588
Max. memory (cumulated for all children) (KiB): 578392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.12
system time used= 6.98322
maximum resident set size= 576088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 4711
# summary of solver processes directly reported to runsolver:
# pid: 164150,164156
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.12
# total CPU system time (s): 6.98322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16658 second user time and 16.6167 second system time
The end
Begin job on nodeC019 at 2025-07-22 21:13:45
IDJOB=4542075
IDBENCH=163785
IDSOLVER=3353
FILE ID=nodeC019/4542075-1753211625
RUNJOBID= nodeC019-1753211625-164104
SLURM_JOB_ID= 9687797
Free space on /tmp= 433048 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542075-1753211625/watcher-4542075-1753211625 -o /tmp/evaluation-result-4542075-1753211625/solver-4542075-1753211625 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164104 --watchdog 3760 run-dec-ls.sh HOME/instance-4542075-1753211625.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=979851660
nodeC019 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.692
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.682
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.37
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 : 3597.982
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.37
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 : 3600.084
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.37
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.704
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.37
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.606
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.37
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 : 3598.859
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.37
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.410
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120232380 kB
MemAvailable: 129642236 kB
Buffers: 904 kB
Cached: 10150896 kB
SwapCached: 416 kB
Active: 1156336 kB
Inactive: 9064492 kB
Active(anon): 81676 kB
Inactive(anon): 12804 kB
Active(file): 1074660 kB
Inactive(file): 9051688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26324 kB
Writeback: 0 kB
AnonPages: 71812 kB
Mapped: 109152 kB
Shmem: 25452 kB
KReclaimable: 245492 kB
Slab: 341436 kB
SReclaimable: 245492 kB
SUnreclaim: 95944 kB
KernelStack: 4112 kB
PageTables: 2980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 341240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3872 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC019 at 2025-07-22 22:13:56