0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.05 c #variables 4482 #constraints 8965
0.00/0.06 c rational objective 0
104.73/105.02 c #Conflicts: 1000 | #Constraints: 9965
104.73/105.02 c #Conflicts: 2000 | #Constraints: 10965
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 3000 | #Constraints: 10987
104.73/105.02 c #Conflicts: 4000 | #Constraints: 11987
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 5000 | #Constraints: 11423
104.73/105.02 c #Conflicts: 6000 | #Constraints: 12423
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 7000 | #Constraints: 11447
104.73/105.02 c #Conflicts: 8000 | #Constraints: 12447
104.73/105.02 c #Conflicts: 9000 | #Constraints: 13447
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 10000 | #Constraints: 12161
104.73/105.02 c #Conflicts: 11000 | #Constraints: 13161
104.73/105.02 c #Conflicts: 12000 | #Constraints: 14161
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 13000 | #Constraints: 12638
104.73/105.02 c #Conflicts: 14000 | #Constraints: 13638
104.73/105.02 c #Conflicts: 15000 | #Constraints: 14638
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 16000 | #Constraints: 12886
104.73/105.02 c #Conflicts: 17000 | #Constraints: 13886
104.73/105.02 c #Conflicts: 18000 | #Constraints: 14886
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 19000 | #Constraints: 12911
104.73/105.02 c #Conflicts: 20000 | #Constraints: 13911
104.73/105.02 c #Conflicts: 21000 | #Constraints: 14911
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 22000 | #Constraints: 12742
104.73/105.02 c #Conflicts: 23000 | #Constraints: 13742
104.73/105.02 c #Conflicts: 24000 | #Constraints: 14742
104.73/105.02 c #Conflicts: 25000 | #Constraints: 15742
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 26000 | #Constraints: 13367
104.73/105.02 c #Conflicts: 27000 | #Constraints: 14367
104.73/105.02 c #Conflicts: 28000 | #Constraints: 15367
104.73/105.02 c #Conflicts: 29000 | #Constraints: 16367
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 30000 | #Constraints: 13771
104.73/105.02 c #Conflicts: 31000 | #Constraints: 14771
104.73/105.02 c #Conflicts: 32000 | #Constraints: 15771
104.73/105.02 c #Conflicts: 33000 | #Constraints: 16771
104.73/105.02 c #Conflicts: 34000 | #Constraints: 17771
104.73/105.02 c #Conflicts: 35000 | #Constraints: 18771
104.73/105.02 c #Conflicts: 36000 | #Constraints: 19771
104.73/105.02 c #Conflicts: 37000 | #Constraints: 20771
104.73/105.02 c #Conflicts: 38000 | #Constraints: 21771
104.73/105.02 c #Conflicts: 39000 | #Constraints: 22771
104.73/105.02 c #Conflicts: 40000 | #Constraints: 23771
104.73/105.02 c #Conflicts: 41000 | #Constraints: 24771
104.73/105.02 c #Conflicts: 42000 | #Constraints: 25771
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 43000 | #Constraints: 18079
104.73/105.02 c #Conflicts: 44000 | #Constraints: 19079
104.73/105.02 c #Conflicts: 45000 | #Constraints: 20079
104.73/105.02 c #Conflicts: 46000 | #Constraints: 21079
104.73/105.02 c #Conflicts: 47000 | #Constraints: 22079
104.73/105.02 c #Conflicts: 48000 | #Constraints: 23079
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 49000 | #Constraints: 17177
104.73/105.02 c #Conflicts: 50000 | #Constraints: 18177
104.73/105.02 c #Conflicts: 51000 | #Constraints: 19177
104.73/105.02 c #Conflicts: 52000 | #Constraints: 20177
104.73/105.02 c #Conflicts: 53000 | #Constraints: 21177
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 54000 | #Constraints: 16089
104.73/105.02 c #Conflicts: 55000 | #Constraints: 17089
104.73/105.02 c #Conflicts: 56000 | #Constraints: 18089
104.73/105.02 c #Conflicts: 57000 | #Constraints: 19089
104.73/105.02 c #Conflicts: 58000 | #Constraints: 20089
104.73/105.02 c INPROCESSING
104.73/105.02 c GARBAGE COLLECT
104.73/105.02 c #Conflicts: 59000 | #Constraints: 15315
104.73/105.02 c #Conflicts: 60000 | #Constraints: 16315
104.73/105.02 c #Conflicts: 61000 | #Constraints: 17315
104.73/105.02 c #Conflicts: 62000 | #Constraints: 18315
104.73/105.02 c #Conflicts: 63000 | #Constraints: 19315
104.73/105.02 c #Conflicts: 64000 | #Constraints: 20315
104.73/105.02 c #Conflicts: 65000 | #Constraints: 21315
104.73/105.02 c #Conflicts: 66000 | #Constraints: 22315
104.73/105.02 c #Conflicts: 67000 | #Constraints: 23315
104.73/105.02 c #Conflicts: 68000 | #Constraints: 24315
104.73/105.02 c #Conflicts: 69000 | #Constraints: 25315
104.73/105.02 c #Conflicts: 70000 | #Constraints: 26315
117.39/117.78 c #Conflicts: 71000 | #Constraints: 27315
117.39/117.78 c #Conflicts: 72000 | #Constraints: 28315
117.39/117.78 c #Conflicts: 73000 | #Constraints: 29315
117.39/117.78 c #Conflicts: 74000 | #Constraints: 30315
117.39/117.78 c #Conflicts: 75000 | #Constraints: 31315
117.39/117.78 c #Conflicts: 76000 | #Constraints: 32315
117.39/117.78 c #Conflicts: 77000 | #Constraints: 33315
117.39/117.78 c #Conflicts: 78000 | #Constraints: 34315
117.39/117.78 c INPROCESSING
117.39/117.78 c GARBAGE COLLECT
117.39/117.78 c rational objective 0
246.09/246.71 c #Conflicts: 79000 | #Constraints: 22885
246.09/246.71 c #Conflicts: 80000 | #Constraints: 23885
246.09/246.71 c #Conflicts: 81000 | #Constraints: 24885
246.09/246.71 c #Conflicts: 82000 | #Constraints: 25885
246.09/246.71 c #Conflicts: 83000 | #Constraints: 26885
246.09/246.71 c #Conflicts: 84000 | #Constraints: 27885
246.09/246.71 c INPROCESSING
246.09/246.71 c GARBAGE COLLECT
246.09/246.71 c #Conflicts: 85000 | #Constraints: 19301
246.09/246.71 c #Conflicts: 86000 | #Constraints: 20301
246.09/246.71 c #Conflicts: 87000 | #Constraints: 21301
246.09/246.71 c #Conflicts: 88000 | #Constraints: 22301
246.09/246.71 c #Conflicts: 89000 | #Constraints: 23301
246.09/246.71 c #Conflicts: 90000 | #Constraints: 24301
246.09/246.71 c #Conflicts: 91000 | #Constraints: 25301
246.09/246.71 c INPROCESSING
246.09/246.71 c GARBAGE COLLECT
246.09/246.71 c #Conflicts: 92000 | #Constraints: 17988
246.09/246.71 c #Conflicts: 93000 | #Constraints: 18988
246.09/246.71 c #Conflicts: 94000 | #Constraints: 19988
246.09/246.71 c #Conflicts: 95000 | #Constraints: 20988
246.09/246.71 c #Conflicts: 96000 | #Constraints: 21988
246.09/246.71 c #Conflicts: 97000 | #Constraints: 22988
246.09/246.71 c #Conflicts: 98000 | #Constraints: 23988
246.09/246.71 c #Conflicts: 99000 | #Constraints: 24988
246.09/246.71 c #Conflicts: 100000 | #Constraints: 25988
246.09/246.71 c #Conflicts: 101000 | #Constraints: 26988
246.09/246.71 c #Conflicts: 102000 | #Constraints: 27988
246.09/246.71 c #Conflicts: 103000 | #Constraints: 28988
246.09/246.71 c #Conflicts: 104000 | #Constraints: 29988
246.09/246.71 c #Conflicts: 105000 | #Constraints: 30988
246.09/246.71 c #Conflicts: 106000 | #Constraints: 31988
246.09/246.71 c #Conflicts: 107000 | #Constraints: 32988
246.09/246.71 c #Conflicts: 108000 | #Constraints: 33988
246.09/246.71 c #Conflicts: 109000 | #Constraints: 34988
246.09/246.71 c #Conflicts: 110000 | #Constraints: 35988
246.09/246.71 c #Conflicts: 111000 | #Constraints: 36988
246.09/246.71 c #Conflicts: 112000 | #Constraints: 37988
246.09/246.71 c #Conflicts: 113000 | #Constraints: 38988
246.09/246.71 c #Conflicts: 114000 | #Constraints: 39988
246.09/246.71 c #Conflicts: 115000 | #Constraints: 40988
246.09/246.71 c INPROCESSING
246.09/246.71 c GARBAGE COLLECT
246.09/246.71 c #Conflicts: 116000 | #Constraints: 26145
246.09/246.71 c #Conflicts: 117000 | #Constraints: 27145
246.09/246.71 c #Conflicts: 118000 | #Constraints: 28145
246.09/246.71 c #Conflicts: 119000 | #Constraints: 29145
246.09/246.71 c #Conflicts: 120000 | #Constraints: 30145
246.09/246.71 c #Conflicts: 121000 | #Constraints: 31145
246.09/246.71 c #Conflicts: 122000 | #Constraints: 32145
246.09/246.71 c #Conflicts: 123000 | #Constraints: 33145
246.09/246.71 c INPROCESSING
246.09/246.71 c GARBAGE COLLECT
246.09/246.71 c #Conflicts: 124000 | #Constraints: 22069
246.09/246.71 c #Conflicts: 125000 | #Constraints: 23069
246.09/246.71 c #Conflicts: 126000 | #Constraints: 24069
246.09/246.71 c #Conflicts: 127000 | #Constraints: 25069
246.09/246.71 c #Conflicts: 128000 | #Constraints: 26069
246.09/246.71 c #Conflicts: 129000 | #Constraints: 27069
246.09/246.71 c #Conflicts: 130000 | #Constraints: 28069
246.09/246.71 c #Conflicts: 131000 | #Constraints: 29069
246.09/246.71 c #Conflicts: 132000 | #Constraints: 30069
246.09/246.71 c INPROCESSING
246.09/246.71 c GARBAGE COLLECT
246.09/246.71 c #Conflicts: 133000 | #Constraints: 20807
246.09/246.71 c #Conflicts: 134000 | #Constraints: 21807
246.09/246.71 c #Conflicts: 135000 | #Constraints: 22807
246.09/246.71 c #Conflicts: 136000 | #Constraints: 23807
246.09/246.71 c #Conflicts: 137000 | #Constraints: 24807
246.09/246.71 c #Conflicts: 138000 | #Constraints: 25807
246.09/246.71 c #Conflicts: 139000 | #Constraints: 26807
246.09/246.71 c #Conflicts: 140000 | #Constraints: 27807
246.09/246.71 c #Conflicts: 141000 | #Constraints: 28807
246.09/246.71 c #Conflicts: 142000 | #Constraints: 29807
246.09/246.71 c #Conflicts: 143000 | #Constraints: 30807
246.09/246.71 c #Conflicts: 144000 | #Constraints: 31807
246.09/246.71 c #Conflicts: 145000 | #Constraints: 32807
246.09/246.71 c #Conflicts: 146000 | #Constraints: 33807
246.09/246.71 c #Conflicts: 147000 | #Constraints: 34807
246.09/246.71 c #Conflicts: 148000 | #Constraints: 35807
246.09/246.71 c #Conflicts: 149000 | #Constraints: 36807
246.09/246.71 c #Conflicts: 150000 | #Constraints: 37807
246.09/246.71 c #Conflicts: 151000 | #Constraints: 38807
246.09/246.71 c #Conflicts: 152000 | #Constraints: 39807
246.09/246.71 c #Conflicts: 153000 | #Constraints: 40807
246.09/246.71 c #Conflicts: 154000 | #Constraints: 41807
371.50/372.40 c #Conflicts: 155000 | #Constraints: 42807
371.50/372.40 c #Conflicts: 156000 | #Constraints: 43807
371.50/372.40 c #Conflicts: 157000 | #Constraints: 44807
371.50/372.40 c #Conflicts: 158000 | #Constraints: 45807
371.50/372.40 c #Conflicts: 159000 | #Constraints: 46807
371.50/372.40 c INPROCESSING
371.50/372.40 c GARBAGE COLLECT
371.50/372.40 c #Conflicts: 160000 | #Constraints: 28867
371.50/372.40 c #Conflicts: 161000 | #Constraints: 29867
371.50/372.40 c #Conflicts: 162000 | #Constraints: 30867
371.50/372.40 c #Conflicts: 163000 | #Constraints: 31867
371.50/372.40 c #Conflicts: 164000 | #Constraints: 32867
371.50/372.40 c #Conflicts: 165000 | #Constraints: 33867
371.50/372.40 c #Conflicts: 166000 | #Constraints: 34867
371.50/372.40 c #Conflicts: 167000 | #Constraints: 35867
371.50/372.40 c #Conflicts: 168000 | #Constraints: 36867
371.50/372.40 c #Conflicts: 169000 | #Constraints: 37867
371.50/372.40 c INPROCESSING
371.50/372.40 c GARBAGE COLLECT
371.50/372.40 c #Conflicts: 170000 | #Constraints: 24521
371.50/372.40 c #Conflicts: 171000 | #Constraints: 25521
371.50/372.40 c #Conflicts: 172000 | #Constraints: 26521
371.50/372.40 c #Conflicts: 173000 | #Constraints: 27521
371.50/372.40 c #Conflicts: 174000 | #Constraints: 28521
371.50/372.40 c #Conflicts: 175000 | #Constraints: 29521
371.50/372.40 c #Conflicts: 176000 | #Constraints: 30521
371.50/372.40 c #Conflicts: 177000 | #Constraints: 31521
371.50/372.40 c #Conflicts: 178000 | #Constraints: 32521
371.50/372.40 c #Conflicts: 179000 | #Constraints: 33521
371.50/372.40 c INPROCESSING
371.50/372.40 c GARBAGE COLLECT
371.50/372.40 c #Conflicts: 180000 | #Constraints: 22377
371.50/372.40 c #Conflicts: 181000 | #Constraints: 23377
371.50/372.40 c #Conflicts: 182000 | #Constraints: 24377
371.50/372.40 c #Conflicts: 183000 | #Constraints: 25377
371.50/372.40 c #Conflicts: 184000 | #Constraints: 26377
371.50/372.40 c #Conflicts: 185000 | #Constraints: 27377
371.50/372.40 c #Conflicts: 186000 | #Constraints: 28377
371.50/372.40 c #Conflicts: 187000 | #Constraints: 29377
371.50/372.40 c #Conflicts: 188000 | #Constraints: 30377
371.50/372.40 c #Conflicts: 189000 | #Constraints: 31377
371.50/372.40 c #Conflicts: 190000 | #Constraints: 32377
371.50/372.40 c #Conflicts: 191000 | #Constraints: 33377
371.50/372.40 c #Conflicts: 192000 | #Constraints: 34377
371.50/372.40 c #Conflicts: 193000 | #Constraints: 35377
371.50/372.40 c #Conflicts: 194000 | #Constraints: 36377
371.50/372.40 c #Conflicts: 195000 | #Constraints: 37377
371.50/372.40 c #Conflicts: 196000 | #Constraints: 38377
371.50/372.40 c #Conflicts: 197000 | #Constraints: 39377
371.50/372.40 c #Conflicts: 198000 | #Constraints: 40377
371.50/372.40 c #Conflicts: 199000 | #Constraints: 41377
371.50/372.40 c #Conflicts: 200000 | #Constraints: 42377
371.50/372.40 c #Conflicts: 201000 | #Constraints: 43377
371.50/372.40 c #Conflicts: 202000 | #Constraints: 44377
371.50/372.40 c #Conflicts: 203000 | #Constraints: 45377
371.50/372.40 c #Conflicts: 204000 | #Constraints: 46377
371.50/372.40 c #Conflicts: 205000 | #Constraints: 47377
371.50/372.40 c #Conflicts: 206000 | #Constraints: 48377
371.50/372.40 c #Conflicts: 207000 | #Constraints: 49377
371.50/372.40 c #Conflicts: 208000 | #Constraints: 50377
371.50/372.40 c #Conflicts: 209000 | #Constraints: 51377
371.50/372.40 c #Conflicts: 210000 | #Constraints: 52377
371.50/372.40 c #Conflicts: 211000 | #Constraints: 53377
371.50/372.40 c INPROCESSING
371.50/372.40 c GARBAGE COLLECT
371.50/372.40 c rational objective -1.11799e-13
407.18/408.23 c #Conflicts: 212000 | #Constraints: 32448
407.18/408.23 c #Conflicts: 213000 | #Constraints: 33448
407.18/408.23 c #Conflicts: 214000 | #Constraints: 34448
407.18/408.23 c #Conflicts: 215000 | #Constraints: 35448
407.18/408.23 c #Conflicts: 216000 | #Constraints: 36448
407.18/408.23 c #Conflicts: 217000 | #Constraints: 37448
407.18/408.23 c #Conflicts: 218000 | #Constraints: 38448
407.18/408.23 c #Conflicts: 219000 | #Constraints: 39448
407.18/408.23 c #Conflicts: 220000 | #Constraints: 40448
407.18/408.23 c #Conflicts: 221000 | #Constraints: 41448
407.18/408.23 c #Conflicts: 222000 | #Constraints: 42448
407.18/408.23 c INPROCESSING
407.18/408.23 c GARBAGE COLLECT
407.18/408.23 c #Conflicts: 223000 | #Constraints: 26775
407.18/408.23 c #Conflicts: 224000 | #Constraints: 27775
407.18/408.23 c #Conflicts: 225000 | #Constraints: 28775
407.18/408.23 c #Conflicts: 226000 | #Constraints: 29775
407.18/408.23 c #Conflicts: 227000 | #Constraints: 30775
407.18/408.23 c #Conflicts: 228000 | #Constraints: 31775
407.18/408.23 c #Conflicts: 229000 | #Constraints: 32775
407.18/408.23 c #Conflicts: 230000 | #Constraints: 33775
407.18/408.23 c #Conflicts: 231000 | #Constraints: 34775
407.18/408.23 c #Conflicts: 232000 | #Constraints: 35775
407.18/408.23 c #Conflicts: 233000 | #Constraints: 36775
407.18/408.23 c #Conflicts: 234000 | #Constraints: 37775
407.18/408.23 c INPROCESSING
407.18/408.23 c GARBAGE COLLECT
407.18/408.23 c rational objective -1.11799e-13
479.78/481.04 c #Conflicts: 235000 | #Constraints: 24728
479.78/481.04 c #Conflicts: 236000 | #Constraints: 25728
479.78/481.04 c #Conflicts: 237000 | #Constraints: 26728
479.78/481.04 c #Conflicts: 238000 | #Constraints: 27728
479.78/481.04 c #Conflicts: 239000 | #Constraints: 28728
479.78/481.04 c #Conflicts: 240000 | #Constraints: 29728
479.78/481.04 c #Conflicts: 241000 | #Constraints: 30728
479.78/481.04 c #Conflicts: 242000 | #Constraints: 31728
479.78/481.04 c #Conflicts: 243000 | #Constraints: 32728
479.78/481.04 c #Conflicts: 244000 | #Constraints: 33728
479.78/481.04 c #Conflicts: 245000 | #Constraints: 34728
479.78/481.04 c #Conflicts: 246000 | #Constraints: 35728
479.78/481.04 c #Conflicts: 247000 | #Constraints: 36728
479.78/481.04 c #Conflicts: 248000 | #Constraints: 37728
479.78/481.04 c #Conflicts: 249000 | #Constraints: 38728
479.78/481.04 c #Conflicts: 250000 | #Constraints: 39728
479.78/481.04 c #Conflicts: 251000 | #Constraints: 40728
479.78/481.04 c #Conflicts: 252000 | #Constraints: 41728
479.78/481.04 c #Conflicts: 253000 | #Constraints: 42728
479.78/481.04 c #Conflicts: 254000 | #Constraints: 43728
479.78/481.04 c #Conflicts: 255000 | #Constraints: 44728
479.78/481.04 c #Conflicts: 256000 | #Constraints: 45728
479.78/481.04 c #Conflicts: 257000 | #Constraints: 46728
479.78/481.04 c #Conflicts: 258000 | #Constraints: 47728
479.78/481.04 c #Conflicts: 259000 | #Constraints: 48728
479.78/481.04 c #Conflicts: 260000 | #Constraints: 49728
479.78/481.04 c #Conflicts: 261000 | #Constraints: 50728
479.78/481.04 c #Conflicts: 262000 | #Constraints: 51728
479.78/481.04 c #Conflicts: 263000 | #Constraints: 52728
479.78/481.04 c #Conflicts: 264000 | #Constraints: 53728
479.78/481.04 c #Conflicts: 265000 | #Constraints: 54728
479.78/481.04 c #Conflicts: 266000 | #Constraints: 55728
479.78/481.04 c #Conflicts: 267000 | #Constraints: 56728
479.78/481.04 c #Conflicts: 268000 | #Constraints: 57728
479.78/481.04 c #Conflicts: 269000 | #Constraints: 58728
479.78/481.04 c #Conflicts: 270000 | #Constraints: 59728
479.78/481.04 c INPROCESSING
479.78/481.04 c GARBAGE COLLECT
479.78/481.04 c rational objective -1.11799e-13
674.88/676.70 c #Conflicts: 271000 | #Constraints: 35714
674.88/676.70 c #Conflicts: 272000 | #Constraints: 36714
674.88/676.70 c #Conflicts: 273000 | #Constraints: 37714
674.88/676.70 c #Conflicts: 274000 | #Constraints: 38714
674.88/676.70 c #Conflicts: 275000 | #Constraints: 39714
674.88/676.70 c #Conflicts: 276000 | #Constraints: 40714
674.88/676.70 c #Conflicts: 277000 | #Constraints: 41714
674.88/676.70 c #Conflicts: 278000 | #Constraints: 42714
674.88/676.70 c #Conflicts: 279000 | #Constraints: 43714
674.88/676.70 c #Conflicts: 280000 | #Constraints: 44714
674.88/676.70 c #Conflicts: 281000 | #Constraints: 45714
674.88/676.70 c #Conflicts: 282000 | #Constraints: 46714
674.88/676.70 c INPROCESSING
674.88/676.70 c GARBAGE COLLECT
674.88/676.70 c #Conflicts: 283000 | #Constraints: 28833
674.88/676.70 c #Conflicts: 284000 | #Constraints: 29833
674.88/676.70 c #Conflicts: 285000 | #Constraints: 30833
674.88/676.70 c #Conflicts: 286000 | #Constraints: 31833
674.88/676.70 c #Conflicts: 287000 | #Constraints: 32833
674.88/676.70 c #Conflicts: 288000 | #Constraints: 33833
674.88/676.70 c #Conflicts: 289000 | #Constraints: 34833
674.88/676.70 c #Conflicts: 290000 | #Constraints: 35833
674.88/676.70 c #Conflicts: 291000 | #Constraints: 36833
674.88/676.70 c #Conflicts: 292000 | #Constraints: 37833
674.88/676.70 c #Conflicts: 293000 | #Constraints: 38833
674.88/676.70 c #Conflicts: 294000 | #Constraints: 39833
674.88/676.70 c #Conflicts: 295000 | #Constraints: 40833
674.88/676.70 c INPROCESSING
674.88/676.70 c GARBAGE COLLECT
674.88/676.70 c #Conflicts: 296000 | #Constraints: 25897
674.88/676.70 c #Conflicts: 297000 | #Constraints: 26897
674.88/676.70 c #Conflicts: 298000 | #Constraints: 27897
674.88/676.70 c #Conflicts: 299000 | #Constraints: 28897
674.88/676.70 c #Conflicts: 300000 | #Constraints: 29897
674.88/676.70 c #Conflicts: 301000 | #Constraints: 30897
674.88/676.70 c #Conflicts: 302000 | #Constraints: 31897
674.88/676.70 c #Conflicts: 303000 | #Constraints: 32897
674.88/676.70 c #Conflicts: 304000 | #Constraints: 33897
674.88/676.70 c #Conflicts: 305000 | #Constraints: 34897
674.88/676.70 c #Conflicts: 306000 | #Constraints: 35897
674.88/676.70 c #Conflicts: 307000 | #Constraints: 36897
674.88/676.70 c #Conflicts: 308000 | #Constraints: 37897
674.88/676.70 c #Conflicts: 309000 | #Constraints: 38897
674.88/676.70 c #Conflicts: 310000 | #Constraints: 39897
674.88/676.70 c #Conflicts: 311000 | #Constraints: 40897
674.88/676.70 c #Conflicts: 312000 | #Constraints: 41897
674.88/676.70 c #Conflicts: 313000 | #Constraints: 42897
674.88/676.70 c #Conflicts: 314000 | #Constraints: 43897
674.88/676.70 c #Conflicts: 315000 | #Constraints: 44897
674.88/676.70 c #Conflicts: 316000 | #Constraints: 45897
674.88/676.70 c #Conflicts: 317000 | #Constraints: 46897
674.88/676.70 c #Conflicts: 318000 | #Constraints: 47897
674.88/676.70 c #Conflicts: 319000 | #Constraints: 48897
674.88/676.70 c #Conflicts: 320000 | #Constraints: 49897
674.88/676.70 c #Conflicts: 321000 | #Constraints: 50897
674.88/676.70 c #Conflicts: 322000 | #Constraints: 51897
674.88/676.70 c #Conflicts: 323000 | #Constraints: 52897
674.88/676.70 c #Conflicts: 324000 | #Constraints: 53897
674.88/676.70 c #Conflicts: 325000 | #Constraints: 54897
674.88/676.70 c #Conflicts: 326000 | #Constraints: 55897
674.88/676.70 c #Conflicts: 327000 | #Constraints: 56897
674.88/676.70 c #Conflicts: 328000 | #Constraints: 57897
674.88/676.70 c #Conflicts: 329000 | #Constraints: 58897
674.88/676.70 c #Conflicts: 330000 | #Constraints: 59897
674.88/676.70 c #Conflicts: 331000 | #Constraints: 60897
674.88/676.70 c #Conflicts: 332000 | #Constraints: 61897
674.88/676.70 c #Conflicts: 333000 | #Constraints: 62897
674.88/676.70 c #Conflicts: 334000 | #Constraints: 63897
674.88/676.70 c #Conflicts: 335000 | #Constraints: 64897
674.88/676.70 c #Conflicts: 336000 | #Constraints: 65898
674.88/676.70 c INPROCESSING
674.88/676.70 c GARBAGE COLLECT
674.88/676.70 c #Conflicts: 337000 | #Constraints: 38847
674.88/676.70 c #Conflicts: 338000 | #Constraints: 39847
674.88/676.70 c #Conflicts: 339000 | #Constraints: 40847
674.88/676.70 c #Conflicts: 340000 | #Constraints: 41847
674.88/676.70 c #Conflicts: 341000 | #Constraints: 42847
674.88/676.70 c #Conflicts: 342000 | #Constraints: 43847
674.88/676.70 c #Conflicts: 343000 | #Constraints: 44847
674.88/676.70 c #Conflicts: 344000 | #Constraints: 45847
674.88/676.70 c #Conflicts: 345000 | #Constraints: 46847
674.88/676.70 c #Conflicts: 346000 | #Constraints: 47847
674.88/676.70 c #Conflicts: 347000 | #Constraints: 48847
817.05/819.37 c #Conflicts: 348000 | #Constraints: 49847
817.05/819.37 c #Conflicts: 349000 | #Constraints: 50847
817.05/819.37 c #Conflicts: 350000 | #Constraints: 51847
817.05/819.37 c INPROCESSING
817.05/819.37 c GARBAGE COLLECT
817.05/819.37 c #Conflicts: 351000 | #Constraints: 31718
817.05/819.37 c #Conflicts: 352000 | #Constraints: 32718
817.05/819.37 c #Conflicts: 353000 | #Constraints: 33718
817.05/819.37 c #Conflicts: 354000 | #Constraints: 34718
817.05/819.37 c #Conflicts: 355000 | #Constraints: 35718
817.05/819.37 c #Conflicts: 356000 | #Constraints: 36718
817.05/819.37 c #Conflicts: 357000 | #Constraints: 37718
817.05/819.37 c #Conflicts: 358000 | #Constraints: 38718
817.05/819.37 c #Conflicts: 359000 | #Constraints: 39718
817.05/819.37 c #Conflicts: 360000 | #Constraints: 40718
817.05/819.37 c #Conflicts: 361000 | #Constraints: 41718
817.05/819.37 c #Conflicts: 362000 | #Constraints: 42718
817.05/819.37 c #Conflicts: 363000 | #Constraints: 43718
817.05/819.37 c #Conflicts: 364000 | #Constraints: 44718
817.05/819.37 c INPROCESSING
817.05/819.37 c GARBAGE COLLECT
817.05/819.37 c #Conflicts: 365000 | #Constraints: 27934
817.05/819.37 c #Conflicts: 366000 | #Constraints: 28934
817.05/819.37 c #Conflicts: 367000 | #Constraints: 29934
817.05/819.37 c #Conflicts: 368000 | #Constraints: 30934
817.05/819.37 c #Conflicts: 369000 | #Constraints: 31934
817.05/819.37 c #Conflicts: 370000 | #Constraints: 32934
817.05/819.37 c #Conflicts: 371000 | #Constraints: 33934
817.05/819.37 c #Conflicts: 372000 | #Constraints: 34934
817.05/819.37 c #Conflicts: 373000 | #Constraints: 35934
817.05/819.37 c #Conflicts: 374000 | #Constraints: 36934
817.05/819.37 c #Conflicts: 375000 | #Constraints: 37934
817.05/819.37 c #Conflicts: 376000 | #Constraints: 38934
817.05/819.37 c #Conflicts: 377000 | #Constraints: 39934
817.05/819.37 c #Conflicts: 378000 | #Constraints: 40934
817.05/819.37 c #Conflicts: 379000 | #Constraints: 41934
817.05/819.37 c #Conflicts: 380000 | #Constraints: 42934
817.05/819.37 c #Conflicts: 381000 | #Constraints: 43934
817.05/819.37 c #Conflicts: 382000 | #Constraints: 44934
817.05/819.37 c #Conflicts: 383000 | #Constraints: 45934
817.05/819.37 c #Conflicts: 384000 | #Constraints: 46934
817.05/819.37 c #Conflicts: 385000 | #Constraints: 47934
817.05/819.37 c #Conflicts: 386000 | #Constraints: 48934
817.05/819.37 c #Conflicts: 387000 | #Constraints: 49934
817.05/819.37 c #Conflicts: 388000 | #Constraints: 50934
817.05/819.37 c #Conflicts: 389000 | #Constraints: 51934
817.05/819.37 c #Conflicts: 390000 | #Constraints: 52934
817.05/819.37 c #Conflicts: 391000 | #Constraints: 53934
817.05/819.37 c #Conflicts: 392000 | #Constraints: 54934
817.05/819.37 c #Conflicts: 393000 | #Constraints: 55934
817.05/819.37 c #Conflicts: 394000 | #Constraints: 56934
817.05/819.37 c #Conflicts: 395000 | #Constraints: 57934
817.05/819.37 c #Conflicts: 396000 | #Constraints: 58934
817.05/819.37 c #Conflicts: 397000 | #Constraints: 59934
817.05/819.37 c #Conflicts: 398000 | #Constraints: 60934
817.05/819.37 c #Conflicts: 399000 | #Constraints: 61934
817.05/819.37 c #Conflicts: 400000 | #Constraints: 62934
817.05/819.37 c #Conflicts: 401000 | #Constraints: 63934
817.05/819.37 c #Conflicts: 402000 | #Constraints: 64934
817.05/819.37 c #Conflicts: 403000 | #Constraints: 65934
817.05/819.37 c #Conflicts: 404000 | #Constraints: 66934
817.05/819.37 c #Conflicts: 405000 | #Constraints: 67934
817.05/819.37 c #Conflicts: 406000 | #Constraints: 68934
817.05/819.37 c #Conflicts: 407000 | #Constraints: 69934
817.05/819.37 c #Conflicts: 408000 | #Constraints: 70934
817.05/819.37 c #Conflicts: 409000 | #Constraints: 71934
817.05/819.37 c INPROCESSING
817.05/819.37 c GARBAGE COLLECT
817.05/819.37 c rational objective -2.23599e-13
1077.46/1080.55 c #Conflicts: 410000 | #Constraints: 41784
1077.46/1080.55 c #Conflicts: 411000 | #Constraints: 42784
1077.46/1080.55 c #Conflicts: 412000 | #Constraints: 43784
1077.46/1080.55 c #Conflicts: 413000 | #Constraints: 44784
1077.46/1080.55 c #Conflicts: 414000 | #Constraints: 45784
1077.46/1080.55 c #Conflicts: 415000 | #Constraints: 46784
1077.46/1080.55 c #Conflicts: 416000 | #Constraints: 47784
1077.46/1080.55 c #Conflicts: 417000 | #Constraints: 48784
1077.46/1080.55 c #Conflicts: 418000 | #Constraints: 49784
1077.46/1080.55 c #Conflicts: 419000 | #Constraints: 50784
1077.46/1080.55 c #Conflicts: 420000 | #Constraints: 51784
1077.46/1080.55 c #Conflicts: 421000 | #Constraints: 52784
1077.46/1080.55 c #Conflicts: 422000 | #Constraints: 53784
1077.46/1080.55 c #Conflicts: 423000 | #Constraints: 54784
1077.46/1080.55 c #Conflicts: 424000 | #Constraints: 55784
1077.46/1080.55 c #Conflicts: 425000 | #Constraints: 56784
1077.46/1080.55 c INPROCESSING
1077.46/1080.55 c GARBAGE COLLECT
1077.46/1080.55 c #Conflicts: 426000 | #Constraints: 34344
1077.46/1080.55 c #Conflicts: 427000 | #Constraints: 35344
1077.46/1080.55 c #Conflicts: 428000 | #Constraints: 36344
1077.46/1080.55 c #Conflicts: 429000 | #Constraints: 37344
1077.46/1080.55 c #Conflicts: 430000 | #Constraints: 38344
1077.46/1080.55 c #Conflicts: 431000 | #Constraints: 39344
1077.46/1080.55 c #Conflicts: 432000 | #Constraints: 40344
1077.46/1080.55 c #Conflicts: 433000 | #Constraints: 41344
1077.46/1080.55 c #Conflicts: 434000 | #Constraints: 42344
1077.46/1080.55 c #Conflicts: 435000 | #Constraints: 43344
1077.46/1080.55 c #Conflicts: 436000 | #Constraints: 44344
1077.46/1080.55 c #Conflicts: 437000 | #Constraints: 45344
1077.46/1080.55 c #Conflicts: 438000 | #Constraints: 46344
1077.46/1080.55 c #Conflicts: 439000 | #Constraints: 47344
1077.46/1080.55 c #Conflicts: 440000 | #Constraints: 48344
1077.46/1080.55 c #Conflicts: 441000 | #Constraints: 49344
1077.46/1080.55 c INPROCESSING
1077.46/1080.55 c GARBAGE COLLECT
1077.46/1080.55 c #Conflicts: 442000 | #Constraints: 30664
1077.46/1080.55 c #Conflicts: 443000 | #Constraints: 31664
1077.46/1080.55 c #Conflicts: 444000 | #Constraints: 32664
1077.46/1080.55 c #Conflicts: 445000 | #Constraints: 33664
1077.46/1080.55 c #Conflicts: 446000 | #Constraints: 34664
1077.46/1080.55 c #Conflicts: 447000 | #Constraints: 35664
1077.46/1080.55 c #Conflicts: 448000 | #Constraints: 36664
1077.46/1080.55 c #Conflicts: 449000 | #Constraints: 37664
1077.46/1080.55 c #Conflicts: 450000 | #Constraints: 38664
1077.46/1080.55 c #Conflicts: 451000 | #Constraints: 39664
1077.46/1080.55 c #Conflicts: 452000 | #Constraints: 40664
1077.46/1080.55 c #Conflicts: 453000 | #Constraints: 41664
1077.46/1080.55 c #Conflicts: 454000 | #Constraints: 42664
1077.46/1080.55 c #Conflicts: 455000 | #Constraints: 43664
1077.46/1080.55 c #Conflicts: 456000 | #Constraints: 44664
1077.46/1080.55 c #Conflicts: 457000 | #Constraints: 45664
1077.46/1080.55 c #Conflicts: 458000 | #Constraints: 46664
1077.46/1080.55 c #Conflicts: 459000 | #Constraints: 47664
1077.46/1080.55 c #Conflicts: 460000 | #Constraints: 48664
1077.46/1080.55 c #Conflicts: 461000 | #Constraints: 49664
1077.46/1080.55 c #Conflicts: 462000 | #Constraints: 50664
1077.46/1080.55 c #Conflicts: 463000 | #Constraints: 51664
1077.46/1080.55 c #Conflicts: 464000 | #Constraints: 52664
1077.46/1080.55 c #Conflicts: 465000 | #Constraints: 53664
1077.46/1080.55 c #Conflicts: 466000 | #Constraints: 54664
1077.46/1080.55 c #Conflicts: 467000 | #Constraints: 55664
1077.46/1080.55 c #Conflicts: 468000 | #Constraints: 56664
1077.46/1080.55 c #Conflicts: 469000 | #Constraints: 57664
1077.46/1080.55 c #Conflicts: 470000 | #Constraints: 58664
1077.46/1080.55 c #Conflicts: 471000 | #Constraints: 59664
1077.46/1080.55 c #Conflicts: 472000 | #Constraints: 60664
1077.46/1080.55 c #Conflicts: 473000 | #Constraints: 61664
1077.46/1080.55 c #Conflicts: 474000 | #Constraints: 62664
1077.46/1080.55 c #Conflicts: 475000 | #Constraints: 63664
1077.46/1080.55 c #Conflicts: 476000 | #Constraints: 64664
1077.46/1080.55 c #Conflicts: 477000 | #Constraints: 65664
1077.46/1080.55 c #Conflicts: 478000 | #Constraints: 66664
1077.46/1080.55 c #Conflicts: 479000 | #Constraints: 67665
1077.46/1080.55 c #Conflicts: 480000 | #Constraints: 68665
1077.46/1080.55 c #Conflicts: 481000 | #Constraints: 69665
1077.46/1080.55 c #Conflicts: 482000 | #Constraints: 70665
1077.46/1080.55 c #Conflicts: 483000 | #Constraints: 71665
1077.46/1080.55 c #Conflicts: 484000 | #Constraints: 72665
1077.46/1080.55 c #Conflicts: 485000 | #Constraints: 73665
1077.46/1080.55 c #Conflicts: 486000 | #Constraints: 74665
1077.46/1080.55 c #Conflicts: 487000 | #Constraints: 75665
1089.52/1092.66 c #Conflicts: 488000 | #Constraints: 76665
1089.52/1092.66 c #Conflicts: 489000 | #Constraints: 77665
1089.52/1092.66 c INPROCESSING
1089.52/1092.66 c GARBAGE COLLECT
1089.52/1092.66 c rational objective -2.23599e-13
1288.02/1291.72 c #Conflicts: 490000 | #Constraints: 44484
1288.02/1291.72 c #Conflicts: 491000 | #Constraints: 45484
1288.02/1291.72 c #Conflicts: 492000 | #Constraints: 46484
1288.02/1291.72 c #Conflicts: 493000 | #Constraints: 47484
1288.02/1291.72 c #Conflicts: 494000 | #Constraints: 48484
1288.02/1291.72 c #Conflicts: 495000 | #Constraints: 49484
1288.02/1291.72 c #Conflicts: 496000 | #Constraints: 50484
1288.02/1291.72 c #Conflicts: 497000 | #Constraints: 51484
1288.02/1291.72 c #Conflicts: 498000 | #Constraints: 52484
1288.02/1291.72 c #Conflicts: 499000 | #Constraints: 53484
1288.02/1291.72 c #Conflicts: 500000 | #Constraints: 54484
1288.02/1291.72 c #Conflicts: 501000 | #Constraints: 55484
1288.02/1291.72 c #Conflicts: 502000 | #Constraints: 56484
1288.02/1291.72 c #Conflicts: 503000 | #Constraints: 57484
1288.02/1291.72 c #Conflicts: 504000 | #Constraints: 58484
1288.02/1291.72 c #Conflicts: 505000 | #Constraints: 59484
1288.02/1291.72 c #Conflicts: 506000 | #Constraints: 60484
1288.02/1291.72 c INPROCESSING
1288.02/1291.72 c GARBAGE COLLECT
1288.02/1291.72 c #Conflicts: 507000 | #Constraints: 35630
1288.02/1291.72 c #Conflicts: 508000 | #Constraints: 36630
1288.02/1291.72 c #Conflicts: 509000 | #Constraints: 37630
1288.02/1291.72 c #Conflicts: 510000 | #Constraints: 38631
1288.02/1291.72 c #Conflicts: 511000 | #Constraints: 39631
1288.02/1291.72 c #Conflicts: 512000 | #Constraints: 40631
1288.02/1291.72 c #Conflicts: 513000 | #Constraints: 41631
1288.02/1291.72 c #Conflicts: 514000 | #Constraints: 42631
1288.02/1291.72 c #Conflicts: 515000 | #Constraints: 43631
1288.02/1291.72 c #Conflicts: 516000 | #Constraints: 44631
1288.02/1291.72 c #Conflicts: 517000 | #Constraints: 45631
1288.02/1291.72 c #Conflicts: 518000 | #Constraints: 46631
1288.02/1291.72 c #Conflicts: 519000 | #Constraints: 47631
1288.02/1291.72 c #Conflicts: 520000 | #Constraints: 48631
1288.02/1291.72 c #Conflicts: 521000 | #Constraints: 49631
1288.02/1291.72 c #Conflicts: 522000 | #Constraints: 50631
1288.02/1291.72 c #Conflicts: 523000 | #Constraints: 51631
1288.02/1291.72 c #Conflicts: 524000 | #Constraints: 52631
1288.02/1291.72 c INPROCESSING
1288.02/1291.72 c GARBAGE COLLECT
1288.02/1291.72 c #Conflicts: 525000 | #Constraints: 32052
1288.02/1291.72 c #Conflicts: 526000 | #Constraints: 33052
1288.02/1291.72 c #Conflicts: 527000 | #Constraints: 34052
1288.02/1291.72 c #Conflicts: 528000 | #Constraints: 35052
1288.02/1291.72 c #Conflicts: 529000 | #Constraints: 36052
1288.02/1291.72 c #Conflicts: 530000 | #Constraints: 37052
1288.02/1291.72 c #Conflicts: 531000 | #Constraints: 38052
1288.02/1291.72 c #Conflicts: 532000 | #Constraints: 39052
1288.02/1291.72 c #Conflicts: 533000 | #Constraints: 40052
1288.02/1291.72 c #Conflicts: 534000 | #Constraints: 41052
1288.02/1291.72 c #Conflicts: 535000 | #Constraints: 42052
1288.02/1291.72 c #Conflicts: 536000 | #Constraints: 43052
1288.02/1291.72 c #Conflicts: 537000 | #Constraints: 44052
1288.02/1291.72 c #Conflicts: 538000 | #Constraints: 45052
1288.02/1291.72 c #Conflicts: 539000 | #Constraints: 46052
1288.02/1291.72 c #Conflicts: 540000 | #Constraints: 47052
1288.02/1291.72 c #Conflicts: 541000 | #Constraints: 48052
1288.02/1291.72 c #Conflicts: 542000 | #Constraints: 49052
1288.02/1291.72 c #Conflicts: 543000 | #Constraints: 50052
1288.02/1291.72 c #Conflicts: 544000 | #Constraints: 51052
1288.02/1291.72 c #Conflicts: 545000 | #Constraints: 52052
1288.02/1291.72 c #Conflicts: 546000 | #Constraints: 53052
1288.02/1291.72 c #Conflicts: 547000 | #Constraints: 54052
1288.02/1291.72 c #Conflicts: 548000 | #Constraints: 55052
1288.02/1291.72 c #Conflicts: 549000 | #Constraints: 56052
1288.02/1291.72 c #Conflicts: 550000 | #Constraints: 57052
1288.02/1291.72 c #Conflicts: 551000 | #Constraints: 58052
1288.02/1291.72 c #Conflicts: 552000 | #Constraints: 59052
1288.02/1291.72 c #Conflicts: 553000 | #Constraints: 60052
1288.02/1291.72 c #Conflicts: 554000 | #Constraints: 61052
1288.02/1291.72 c #Conflicts: 555000 | #Constraints: 62052
1288.02/1291.72 c #Conflicts: 556000 | #Constraints: 63052
1288.02/1291.72 c #Conflicts: 557000 | #Constraints: 64052
1288.02/1291.72 c #Conflicts: 558000 | #Constraints: 65052
1288.02/1291.72 c #Conflicts: 559000 | #Constraints: 66052
1288.02/1291.72 c #Conflicts: 560000 | #Constraints: 67052
1288.02/1291.72 c #Conflicts: 561000 | #Constraints: 68052
1288.02/1291.72 c #Conflicts: 562000 | #Constraints: 69052
1288.02/1291.72 c #Conflicts: 563000 | #Constraints: 70052
1288.02/1291.72 c #Conflicts: 564000 | #Constraints: 71052
1288.02/1291.72 c #Conflicts: 565000 | #Constraints: 72052
1288.02/1291.72 c #Conflicts: 566000 | #Constraints: 73052
1288.02/1291.72 c #Conflicts: 567000 | #Constraints: 74052
1323.72/1327.51 c #Conflicts: 568000 | #Constraints: 75052
1323.72/1327.51 c #Conflicts: 569000 | #Constraints: 76052
1323.72/1327.51 c #Conflicts: 570000 | #Constraints: 77052
1323.72/1327.51 c #Conflicts: 571000 | #Constraints: 78052
1323.72/1327.51 c #Conflicts: 572000 | #Constraints: 79052
1323.72/1327.51 c #Conflicts: 573000 | #Constraints: 80052
1323.72/1327.51 c #Conflicts: 574000 | #Constraints: 81052
1323.72/1327.51 c #Conflicts: 575000 | #Constraints: 82052
1323.72/1327.51 c #Conflicts: 576000 | #Constraints: 83052
1323.72/1327.51 c #Conflicts: 577000 | #Constraints: 84052
1323.72/1327.51 c INPROCESSING
1323.72/1327.51 c GARBAGE COLLECT
1323.72/1327.51 c rational objective 1.11799e-13
1415.84/1419.94 c #Conflicts: 578000 | #Constraints: 47883
1415.84/1419.94 c #Conflicts: 579000 | #Constraints: 48883
1415.84/1419.94 c #Conflicts: 580000 | #Constraints: 49883
1415.84/1419.94 c #Conflicts: 581000 | #Constraints: 50883
1415.84/1419.94 c #Conflicts: 582000 | #Constraints: 51883
1415.84/1419.94 c #Conflicts: 583000 | #Constraints: 52883
1415.84/1419.94 c #Conflicts: 584000 | #Constraints: 53883
1415.84/1419.94 c #Conflicts: 585000 | #Constraints: 54883
1415.84/1419.94 c #Conflicts: 586000 | #Constraints: 55883
1415.84/1419.94 c #Conflicts: 587000 | #Constraints: 56883
1415.84/1419.94 c #Conflicts: 588000 | #Constraints: 57883
1415.84/1419.94 c #Conflicts: 589000 | #Constraints: 58883
1415.84/1419.94 c #Conflicts: 590000 | #Constraints: 59883
1415.84/1419.94 c #Conflicts: 591000 | #Constraints: 60883
1415.84/1419.94 c #Conflicts: 592000 | #Constraints: 61883
1415.84/1419.94 c #Conflicts: 593000 | #Constraints: 62883
1415.84/1419.94 c #Conflicts: 594000 | #Constraints: 63883
1415.84/1419.94 c #Conflicts: 595000 | #Constraints: 64883
1415.84/1419.94 c #Conflicts: 596000 | #Constraints: 65883
1415.84/1419.94 c INPROCESSING
1415.84/1419.94 c GARBAGE COLLECT
1415.84/1419.94 c #Conflicts: 597000 | #Constraints: 38907
1415.84/1419.94 c #Conflicts: 598000 | #Constraints: 39907
1415.84/1419.94 c #Conflicts: 599000 | #Constraints: 40907
1415.84/1419.94 c #Conflicts: 600000 | #Constraints: 41907
1415.84/1419.94 c #Conflicts: 601000 | #Constraints: 42907
1415.84/1419.94 c #Conflicts: 602000 | #Constraints: 43907
1415.84/1419.94 c #Conflicts: 603000 | #Constraints: 44907
1415.84/1419.94 c #Conflicts: 604000 | #Constraints: 45907
1415.84/1419.94 c #Conflicts: 605000 | #Constraints: 46907
1415.84/1419.94 c #Conflicts: 606000 | #Constraints: 47907
1415.84/1419.94 c #Conflicts: 607000 | #Constraints: 48907
1415.84/1419.94 c #Conflicts: 608000 | #Constraints: 49907
1415.84/1419.94 c #Conflicts: 609000 | #Constraints: 50907
1415.84/1419.94 c #Conflicts: 610000 | #Constraints: 51907
1415.84/1419.94 c #Conflicts: 611000 | #Constraints: 52907
1415.84/1419.94 c #Conflicts: 612000 | #Constraints: 53907
1415.84/1419.94 c #Conflicts: 613000 | #Constraints: 54907
1415.84/1419.94 c #Conflicts: 614000 | #Constraints: 55907
1415.84/1419.94 c #Conflicts: 615000 | #Constraints: 56907
1415.84/1419.94 c INPROCESSING
1415.84/1419.94 c GARBAGE COLLECT
1415.84/1419.94 c rational objective 1.11799e-13
1634.17/1638.94 c #Conflicts: 616000 | #Constraints: 34440
1634.17/1638.94 c #Conflicts: 617000 | #Constraints: 35440
1634.17/1638.94 c #Conflicts: 618000 | #Constraints: 36440
1634.17/1638.94 c #Conflicts: 619000 | #Constraints: 37440
1634.17/1638.94 c #Conflicts: 620000 | #Constraints: 38440
1634.17/1638.94 c #Conflicts: 621000 | #Constraints: 39440
1634.17/1638.94 c #Conflicts: 622000 | #Constraints: 40440
1634.17/1638.94 c #Conflicts: 623000 | #Constraints: 41440
1634.17/1638.94 c #Conflicts: 624000 | #Constraints: 42440
1634.17/1638.94 c #Conflicts: 625000 | #Constraints: 43440
1634.17/1638.94 c #Conflicts: 626000 | #Constraints: 44440
1634.17/1638.94 c #Conflicts: 627000 | #Constraints: 45440
1634.17/1638.94 c #Conflicts: 628000 | #Constraints: 46440
1634.17/1638.94 c #Conflicts: 629000 | #Constraints: 47440
1634.17/1638.94 c #Conflicts: 630000 | #Constraints: 48440
1634.17/1638.94 c #Conflicts: 631000 | #Constraints: 49440
1634.17/1638.94 c #Conflicts: 632000 | #Constraints: 50440
1634.17/1638.94 c #Conflicts: 633000 | #Constraints: 51440
1634.17/1638.94 c #Conflicts: 634000 | #Constraints: 52440
1634.17/1638.94 c #Conflicts: 635000 | #Constraints: 53440
1634.17/1638.94 c #Conflicts: 636000 | #Constraints: 54440
1634.17/1638.94 c #Conflicts: 637000 | #Constraints: 55440
1634.17/1638.94 c #Conflicts: 638000 | #Constraints: 56440
1634.17/1638.94 c #Conflicts: 639000 | #Constraints: 57440
1634.17/1638.94 c #Conflicts: 640000 | #Constraints: 58440
1634.17/1638.94 c #Conflicts: 641000 | #Constraints: 59440
1634.17/1638.94 c #Conflicts: 642000 | #Constraints: 60440
1634.17/1638.94 c #Conflicts: 643000 | #Constraints: 61440
1634.17/1638.94 c #Conflicts: 644000 | #Constraints: 62440
1634.17/1638.94 c #Conflicts: 645000 | #Constraints: 63440
1634.17/1638.94 c #Conflicts: 646000 | #Constraints: 64440
1634.17/1638.94 c #Conflicts: 647000 | #Constraints: 65440
1634.17/1638.94 c #Conflicts: 648000 | #Constraints: 66440
1634.17/1638.94 c #Conflicts: 649000 | #Constraints: 67440
1634.17/1638.94 c #Conflicts: 650000 | #Constraints: 68440
1634.17/1638.94 c #Conflicts: 651000 | #Constraints: 69440
1634.17/1638.94 c #Conflicts: 652000 | #Constraints: 70440
1634.17/1638.94 c #Conflicts: 653000 | #Constraints: 71440
1634.17/1638.94 c #Conflicts: 654000 | #Constraints: 72440
1634.17/1638.94 c #Conflicts: 655000 | #Constraints: 73440
1634.17/1638.94 c #Conflicts: 656000 | #Constraints: 74440
1634.17/1638.94 c #Conflicts: 657000 | #Constraints: 75440
1634.17/1638.94 c #Conflicts: 658000 | #Constraints: 76440
1634.17/1638.94 c #Conflicts: 659000 | #Constraints: 77440
1634.17/1638.94 c #Conflicts: 660000 | #Constraints: 78440
1634.17/1638.94 c #Conflicts: 661000 | #Constraints: 79440
1634.17/1638.94 c #Conflicts: 662000 | #Constraints: 80440
1634.17/1638.94 c #Conflicts: 663000 | #Constraints: 81440
1634.17/1638.94 c #Conflicts: 664000 | #Constraints: 82440
1634.17/1638.94 c #Conflicts: 665000 | #Constraints: 83440
1634.17/1638.94 c #Conflicts: 666000 | #Constraints: 84440
1634.17/1638.94 c #Conflicts: 667000 | #Constraints: 85440
1634.17/1638.94 c #Conflicts: 668000 | #Constraints: 86440
1634.17/1638.94 c #Conflicts: 669000 | #Constraints: 87440
1634.17/1638.94 c #Conflicts: 670000 | #Constraints: 88440
1634.17/1638.94 c #Conflicts: 671000 | #Constraints: 89440
1634.17/1638.94 c #Conflicts: 672000 | #Constraints: 90440
1634.17/1638.94 c INPROCESSING
1634.17/1638.94 c GARBAGE COLLECT
1634.17/1638.94 c #Conflicts: 673000 | #Constraints: 51195
1634.17/1638.94 c #Conflicts: 674000 | #Constraints: 52195
1634.17/1638.94 c #Conflicts: 675000 | #Constraints: 53195
1634.17/1638.94 c #Conflicts: 676000 | #Constraints: 54195
1634.17/1638.94 c #Conflicts: 677000 | #Constraints: 55195
1634.17/1638.94 c #Conflicts: 678000 | #Constraints: 56195
1634.17/1638.94 c #Conflicts: 679000 | #Constraints: 57195
1634.17/1638.94 c #Conflicts: 680000 | #Constraints: 58195
1634.17/1638.94 c #Conflicts: 681000 | #Constraints: 59195
1634.17/1638.94 c #Conflicts: 682000 | #Constraints: 60195
1634.17/1638.94 c #Conflicts: 683000 | #Constraints: 61195
1634.17/1638.94 c #Conflicts: 684000 | #Constraints: 62195
1634.17/1638.94 c #Conflicts: 685000 | #Constraints: 63195
1634.17/1638.94 c #Conflicts: 686000 | #Constraints: 64195
1634.17/1638.94 c #Conflicts: 687000 | #Constraints: 65195
1634.17/1638.94 c #Conflicts: 688000 | #Constraints: 66195
1634.17/1638.94 c #Conflicts: 689000 | #Constraints: 67195
1634.17/1638.94 c #Conflicts: 690000 | #Constraints: 68195
1634.17/1638.94 c #Conflicts: 691000 | #Constraints: 69195
1634.17/1638.94 c #Conflicts: 692000 | #Constraints: 70195
1634.17/1638.94 c INPROCESSING
1634.17/1638.94 c GARBAGE COLLECT
1634.17/1638.94 c rational objective 1.11799e-13
1915.12/1920.78 c #Conflicts: 693000 | #Constraints: 40935
1915.12/1920.78 c #Conflicts: 694000 | #Constraints: 41935
1915.12/1920.78 c #Conflicts: 695000 | #Constraints: 42935
1915.12/1920.78 c #Conflicts: 696000 | #Constraints: 43935
1915.12/1920.78 c #Conflicts: 697000 | #Constraints: 44935
1915.12/1920.78 c #Conflicts: 698000 | #Constraints: 45935
1915.12/1920.78 c #Conflicts: 699000 | #Constraints: 46935
1915.12/1920.78 c #Conflicts: 700000 | #Constraints: 47935
1915.12/1920.78 c #Conflicts: 701000 | #Constraints: 48935
1915.12/1920.78 c #Conflicts: 702000 | #Constraints: 49935
1915.12/1920.78 c #Conflicts: 703000 | #Constraints: 50935
1915.12/1920.78 c #Conflicts: 704000 | #Constraints: 51935
1915.12/1920.78 c #Conflicts: 705000 | #Constraints: 52935
1915.12/1920.78 c #Conflicts: 706000 | #Constraints: 53935
1915.12/1920.78 c #Conflicts: 707000 | #Constraints: 54935
1915.12/1920.78 c #Conflicts: 708000 | #Constraints: 55935
1915.12/1920.78 c #Conflicts: 709000 | #Constraints: 56935
1915.12/1920.78 c #Conflicts: 710000 | #Constraints: 57935
1915.12/1920.78 c #Conflicts: 711000 | #Constraints: 58935
1915.12/1920.78 c #Conflicts: 712000 | #Constraints: 59935
1915.12/1920.78 c INPROCESSING
1915.12/1920.78 c GARBAGE COLLECT
1915.12/1920.78 c #Conflicts: 713000 | #Constraints: 35550
1915.12/1920.78 c #Conflicts: 714000 | #Constraints: 36550
1915.12/1920.78 c #Conflicts: 715000 | #Constraints: 37550
1915.12/1920.78 c #Conflicts: 716000 | #Constraints: 38550
1915.12/1920.78 c #Conflicts: 717000 | #Constraints: 39550
1915.12/1920.78 c #Conflicts: 718000 | #Constraints: 40550
1915.12/1920.78 c #Conflicts: 719000 | #Constraints: 41550
1915.12/1920.78 c #Conflicts: 720000 | #Constraints: 42550
1915.12/1920.78 c #Conflicts: 721000 | #Constraints: 43550
1915.12/1920.78 c #Conflicts: 722000 | #Constraints: 44550
1915.12/1920.78 c #Conflicts: 723000 | #Constraints: 45550
1915.12/1920.78 c #Conflicts: 724000 | #Constraints: 46550
1915.12/1920.78 c #Conflicts: 725000 | #Constraints: 47550
1915.12/1920.78 c #Conflicts: 726000 | #Constraints: 48550
1915.12/1920.78 c #Conflicts: 727000 | #Constraints: 49550
1915.12/1920.78 c #Conflicts: 728000 | #Constraints: 50550
1915.12/1920.78 c #Conflicts: 729000 | #Constraints: 51550
1915.12/1920.78 c #Conflicts: 730000 | #Constraints: 52550
1915.12/1920.78 c #Conflicts: 731000 | #Constraints: 53550
1915.12/1920.78 c #Conflicts: 732000 | #Constraints: 54550
1915.12/1920.78 c #Conflicts: 733000 | #Constraints: 55550
1915.12/1920.78 c #Conflicts: 734000 | #Constraints: 56550
1915.12/1920.78 c #Conflicts: 735000 | #Constraints: 57550
1915.12/1920.78 c #Conflicts: 736000 | #Constraints: 58550
1915.12/1920.78 c #Conflicts: 737000 | #Constraints: 59550
1915.12/1920.78 c #Conflicts: 738000 | #Constraints: 60550
1915.12/1920.78 c #Conflicts: 739000 | #Constraints: 61550
1915.12/1920.78 c #Conflicts: 740000 | #Constraints: 62550
1915.12/1920.78 c #Conflicts: 741000 | #Constraints: 63550
1915.12/1920.78 c #Conflicts: 742000 | #Constraints: 64550
1915.12/1920.78 c #Conflicts: 743000 | #Constraints: 65550
1915.12/1920.78 c #Conflicts: 744000 | #Constraints: 66550
1915.12/1920.78 c #Conflicts: 745000 | #Constraints: 67550
1915.12/1920.78 c #Conflicts: 746000 | #Constraints: 68550
1915.12/1920.78 c #Conflicts: 747000 | #Constraints: 69550
1915.12/1920.78 c #Conflicts: 748000 | #Constraints: 70550
1915.12/1920.78 c #Conflicts: 749000 | #Constraints: 71550
1915.12/1920.78 c #Conflicts: 750000 | #Constraints: 72550
1915.12/1920.78 c #Conflicts: 751000 | #Constraints: 73550
1915.12/1920.78 c #Conflicts: 752000 | #Constraints: 74550
1915.12/1920.78 c #Conflicts: 753000 | #Constraints: 75550
1915.12/1920.78 c #Conflicts: 754000 | #Constraints: 76550
1915.12/1920.78 c #Conflicts: 755000 | #Constraints: 77550
1915.12/1920.78 c #Conflicts: 756000 | #Constraints: 78550
1915.12/1920.78 c #Conflicts: 757000 | #Constraints: 79550
1915.12/1920.78 c #Conflicts: 758000 | #Constraints: 80550
1915.12/1920.78 c #Conflicts: 759000 | #Constraints: 81550
1915.12/1920.78 c #Conflicts: 760000 | #Constraints: 82550
1915.12/1920.78 c #Conflicts: 761000 | #Constraints: 83550
1915.12/1920.78 c #Conflicts: 762000 | #Constraints: 84550
1915.12/1920.78 c #Conflicts: 763000 | #Constraints: 85550
1915.12/1920.78 c #Conflicts: 764000 | #Constraints: 86550
1915.12/1920.78 c #Conflicts: 765000 | #Constraints: 87550
1915.12/1920.78 c #Conflicts: 766000 | #Constraints: 88550
1915.12/1920.78 c #Conflicts: 767000 | #Constraints: 89550
1915.12/1920.78 c #Conflicts: 768000 | #Constraints: 90550
1915.12/1920.78 c #Conflicts: 769000 | #Constraints: 91550
1915.12/1920.78 c #Conflicts: 770000 | #Constraints: 92550
1915.12/1920.78 c #Conflicts: 771000 | #Constraints: 93550
1927.49/1933.12 c #Conflicts: 772000 | #Constraints: 94550
1927.49/1933.12 c #Conflicts: 773000 | #Constraints: 95550
1927.49/1933.12 c #Conflicts: 774000 | #Constraints: 96550
1927.49/1933.12 c INPROCESSING
1927.49/1933.12 c GARBAGE COLLECT
1927.49/1933.12 c rational objective 1.11799e-13
1988.40/1994.26 c #Conflicts: 775000 | #Constraints: 54263
1988.40/1994.26 c #Conflicts: 776000 | #Constraints: 55263
1988.40/1994.26 c #Conflicts: 777000 | #Constraints: 56263
1988.40/1994.26 c #Conflicts: 778000 | #Constraints: 57263
1988.40/1994.26 c #Conflicts: 779000 | #Constraints: 58263
1988.40/1994.26 c #Conflicts: 780000 | #Constraints: 59263
1988.40/1994.26 c #Conflicts: 781000 | #Constraints: 60263
1988.40/1994.26 c #Conflicts: 782000 | #Constraints: 61263
1988.40/1994.26 c #Conflicts: 783000 | #Constraints: 62263
1988.40/1994.26 c #Conflicts: 784000 | #Constraints: 63263
1988.40/1994.26 c #Conflicts: 785000 | #Constraints: 64263
1988.40/1994.26 c #Conflicts: 786000 | #Constraints: 65263
1988.40/1994.26 c #Conflicts: 787000 | #Constraints: 66263
1988.40/1994.26 c #Conflicts: 788000 | #Constraints: 67263
1988.40/1994.26 c #Conflicts: 789000 | #Constraints: 68263
1988.40/1994.26 c #Conflicts: 790000 | #Constraints: 69263
1988.40/1994.26 c #Conflicts: 791000 | #Constraints: 70263
1988.40/1994.26 c #Conflicts: 792000 | #Constraints: 71263
1988.40/1994.26 c #Conflicts: 793000 | #Constraints: 72263
1988.40/1994.26 c #Conflicts: 794000 | #Constraints: 73263
1988.40/1994.26 c #Conflicts: 795000 | #Constraints: 74263
1988.40/1994.26 c INPROCESSING
1988.40/1994.26 c GARBAGE COLLECT
1988.40/1994.26 c rational objective 1.11799e-13
2203.44/2209.93 c #Conflicts: 796000 | #Constraints: 42755
2203.44/2209.93 c #Conflicts: 797000 | #Constraints: 43755
2203.44/2209.93 c #Conflicts: 798000 | #Constraints: 44755
2203.44/2209.93 c #Conflicts: 799000 | #Constraints: 45755
2203.44/2209.93 c #Conflicts: 800000 | #Constraints: 46755
2203.44/2209.93 c #Conflicts: 801000 | #Constraints: 47755
2203.44/2209.93 c #Conflicts: 802000 | #Constraints: 48755
2203.44/2209.93 c #Conflicts: 803000 | #Constraints: 49755
2203.44/2209.93 c #Conflicts: 804000 | #Constraints: 50755
2203.44/2209.93 c #Conflicts: 805000 | #Constraints: 51755
2203.44/2209.93 c #Conflicts: 806000 | #Constraints: 52755
2203.44/2209.93 c #Conflicts: 807000 | #Constraints: 53755
2203.44/2209.93 c #Conflicts: 808000 | #Constraints: 54755
2203.44/2209.93 c #Conflicts: 809000 | #Constraints: 55755
2203.44/2209.93 c #Conflicts: 810000 | #Constraints: 56755
2203.44/2209.93 c #Conflicts: 811000 | #Constraints: 57755
2203.44/2209.93 c #Conflicts: 812000 | #Constraints: 58755
2203.44/2209.93 c #Conflicts: 813000 | #Constraints: 59755
2203.44/2209.93 c #Conflicts: 814000 | #Constraints: 60755
2203.44/2209.93 c #Conflicts: 815000 | #Constraints: 61755
2203.44/2209.93 c #Conflicts: 816000 | #Constraints: 62755
2203.44/2209.93 c #Conflicts: 817000 | #Constraints: 63755
2203.44/2209.93 c INPROCESSING
2203.44/2209.93 c GARBAGE COLLECT
2203.44/2209.93 c #Conflicts: 818000 | #Constraints: 37676
2203.44/2209.93 c #Conflicts: 819000 | #Constraints: 38676
2203.44/2209.93 c #Conflicts: 820000 | #Constraints: 39676
2203.44/2209.93 c #Conflicts: 821000 | #Constraints: 40676
2203.44/2209.93 c #Conflicts: 822000 | #Constraints: 41676
2203.44/2209.93 c #Conflicts: 823000 | #Constraints: 42676
2203.44/2209.93 c #Conflicts: 824000 | #Constraints: 43676
2203.44/2209.93 c #Conflicts: 825000 | #Constraints: 44676
2203.44/2209.93 c #Conflicts: 826000 | #Constraints: 45676
2203.44/2209.93 c #Conflicts: 827000 | #Constraints: 46676
2203.44/2209.93 c #Conflicts: 828000 | #Constraints: 47676
2203.44/2209.93 c #Conflicts: 829000 | #Constraints: 48676
2203.44/2209.93 c #Conflicts: 830000 | #Constraints: 49676
2203.44/2209.93 c #Conflicts: 831000 | #Constraints: 50676
2203.44/2209.93 c #Conflicts: 832000 | #Constraints: 51676
2203.44/2209.93 c #Conflicts: 833000 | #Constraints: 52676
2203.44/2209.93 c #Conflicts: 834000 | #Constraints: 53676
2203.44/2209.93 c #Conflicts: 835000 | #Constraints: 54676
2203.44/2209.93 c #Conflicts: 836000 | #Constraints: 55676
2203.44/2209.93 c #Conflicts: 837000 | #Constraints: 56676
2203.44/2209.93 c #Conflicts: 838000 | #Constraints: 57676
2203.44/2209.93 c #Conflicts: 839000 | #Constraints: 58676
2203.44/2209.93 c #Conflicts: 840000 | #Constraints: 59676
2203.44/2209.93 c #Conflicts: 841000 | #Constraints: 60676
2203.44/2209.93 c #Conflicts: 842000 | #Constraints: 61676
2203.44/2209.93 c #Conflicts: 843000 | #Constraints: 62676
2203.44/2209.93 c #Conflicts: 844000 | #Constraints: 63676
2203.44/2209.93 c #Conflicts: 845000 | #Constraints: 64676
2203.44/2209.93 c #Conflicts: 846000 | #Constraints: 65676
2203.44/2209.93 c #Conflicts: 847000 | #Constraints: 66676
2203.44/2209.93 c #Conflicts: 848000 | #Constraints: 67676
2203.44/2209.93 c #Conflicts: 849000 | #Constraints: 68676
2203.44/2209.93 c #Conflicts: 850000 | #Constraints: 69676
2203.44/2209.93 c #Conflicts: 851000 | #Constraints: 70676
2203.44/2209.93 c #Conflicts: 852000 | #Constraints: 71676
2203.44/2209.93 c #Conflicts: 853000 | #Constraints: 72677
2203.44/2209.93 c #Conflicts: 854000 | #Constraints: 73677
2203.44/2209.93 c #Conflicts: 855000 | #Constraints: 74677
2203.44/2209.93 c #Conflicts: 856000 | #Constraints: 75677
2203.44/2209.93 c #Conflicts: 857000 | #Constraints: 76677
2203.44/2209.93 c #Conflicts: 858000 | #Constraints: 77677
2203.44/2209.93 c #Conflicts: 859000 | #Constraints: 78677
2203.44/2209.93 c #Conflicts: 860000 | #Constraints: 79677
2203.44/2209.93 c #Conflicts: 861000 | #Constraints: 80677
2203.44/2209.93 c #Conflicts: 862000 | #Constraints: 81677
2203.44/2209.93 c #Conflicts: 863000 | #Constraints: 82677
2203.44/2209.93 c #Conflicts: 864000 | #Constraints: 83677
2203.44/2209.93 c #Conflicts: 865000 | #Constraints: 84677
2203.44/2209.93 c #Conflicts: 866000 | #Constraints: 85677
2203.44/2209.93 c #Conflicts: 867000 | #Constraints: 86677
2203.44/2209.93 c #Conflicts: 868000 | #Constraints: 87677
2203.44/2209.93 c #Conflicts: 869000 | #Constraints: 88677
2203.44/2209.93 c #Conflicts: 870000 | #Constraints: 89677
2203.44/2209.93 c #Conflicts: 871000 | #Constraints: 90677
2203.44/2209.93 c #Conflicts: 872000 | #Constraints: 91677
2203.44/2209.93 c #Conflicts: 873000 | #Constraints: 92677
2203.44/2209.93 c #Conflicts: 874000 | #Constraints: 93677
2235.45/2242.10 c #Conflicts: 875000 | #Constraints: 94677
2235.45/2242.10 c #Conflicts: 876000 | #Constraints: 95677
2235.45/2242.10 c #Conflicts: 877000 | #Constraints: 96677
2235.45/2242.10 c #Conflicts: 878000 | #Constraints: 97677
2235.45/2242.10 c #Conflicts: 879000 | #Constraints: 98677
2235.45/2242.10 c #Conflicts: 880000 | #Constraints: 99677
2235.45/2242.10 c #Conflicts: 881000 | #Constraints: 100677
2235.45/2242.10 c #Conflicts: 882000 | #Constraints: 101677
2235.45/2242.10 c #Conflicts: 883000 | #Constraints: 102677
2235.45/2242.10 c INPROCESSING
2235.45/2242.10 c GARBAGE COLLECT
2235.45/2242.10 c rational objective 1.11799e-13
2289.39/2296.13 c #Conflicts: 884000 | #Constraints: 57256
2289.39/2296.13 c #Conflicts: 885000 | #Constraints: 58256
2289.39/2296.13 c #Conflicts: 886000 | #Constraints: 59256
2289.39/2296.13 c #Conflicts: 887000 | #Constraints: 60256
2289.39/2296.13 c #Conflicts: 888000 | #Constraints: 61256
2289.39/2296.13 c #Conflicts: 889000 | #Constraints: 62256
2289.39/2296.13 c #Conflicts: 890000 | #Constraints: 63256
2289.39/2296.13 c #Conflicts: 891000 | #Constraints: 64256
2289.39/2296.13 c #Conflicts: 892000 | #Constraints: 65256
2289.39/2296.13 c #Conflicts: 893000 | #Constraints: 66256
2289.39/2296.13 c #Conflicts: 894000 | #Constraints: 67256
2289.39/2296.13 c #Conflicts: 895000 | #Constraints: 68256
2289.39/2296.13 c #Conflicts: 896000 | #Constraints: 69256
2289.39/2296.13 c #Conflicts: 897000 | #Constraints: 70256
2289.39/2296.13 c #Conflicts: 898000 | #Constraints: 71256
2289.39/2296.13 c #Conflicts: 899000 | #Constraints: 72256
2289.39/2296.13 c #Conflicts: 900000 | #Constraints: 73256
2289.39/2296.13 c #Conflicts: 901000 | #Constraints: 74256
2289.39/2296.13 c #Conflicts: 902000 | #Constraints: 75256
2289.39/2296.13 c #Conflicts: 903000 | #Constraints: 76256
2289.39/2296.13 c #Conflicts: 904000 | #Constraints: 77256
2289.39/2296.13 c #Conflicts: 905000 | #Constraints: 78256
2289.39/2296.13 c #Conflicts: 906000 | #Constraints: 79256
2289.39/2296.13 c INPROCESSING
2289.39/2296.13 c GARBAGE COLLECT
2289.39/2296.13 c rational objective 1.11799e-13
2579.00/2586.63 c #Conflicts: 907000 | #Constraints: 45428
2579.00/2586.63 c #Conflicts: 908000 | #Constraints: 46428
2579.00/2586.63 c #Conflicts: 909000 | #Constraints: 47428
2579.00/2586.63 c #Conflicts: 910000 | #Constraints: 48428
2579.00/2586.63 c #Conflicts: 911000 | #Constraints: 49428
2579.00/2586.63 c #Conflicts: 912000 | #Constraints: 50428
2579.00/2586.63 c #Conflicts: 913000 | #Constraints: 51428
2579.00/2586.63 c #Conflicts: 914000 | #Constraints: 52428
2579.00/2586.63 c #Conflicts: 915000 | #Constraints: 53428
2579.00/2586.63 c #Conflicts: 916000 | #Constraints: 54429
2579.00/2586.63 c #Conflicts: 917000 | #Constraints: 55429
2579.00/2586.63 c #Conflicts: 918000 | #Constraints: 56429
2579.00/2586.63 c #Conflicts: 919000 | #Constraints: 57429
2579.00/2586.63 c #Conflicts: 920000 | #Constraints: 58429
2579.00/2586.63 c #Conflicts: 921000 | #Constraints: 59429
2579.00/2586.63 c #Conflicts: 922000 | #Constraints: 60429
2579.00/2586.63 c #Conflicts: 923000 | #Constraints: 61429
2579.00/2586.63 c #Conflicts: 924000 | #Constraints: 62429
2579.00/2586.63 c #Conflicts: 925000 | #Constraints: 63429
2579.00/2586.63 c #Conflicts: 926000 | #Constraints: 64429
2579.00/2586.63 c #Conflicts: 927000 | #Constraints: 65429
2579.00/2586.63 c #Conflicts: 928000 | #Constraints: 66429
2579.00/2586.63 c #Conflicts: 929000 | #Constraints: 67429
2579.00/2586.63 c #Conflicts: 930000 | #Constraints: 68429
2579.00/2586.63 c INPROCESSING
2579.00/2586.63 c GARBAGE COLLECT
2579.00/2586.63 c #Conflicts: 931000 | #Constraints: 41323
2579.00/2586.63 c #Conflicts: 932000 | #Constraints: 42323
2579.00/2586.63 c #Conflicts: 933000 | #Constraints: 43323
2579.00/2586.63 c #Conflicts: 934000 | #Constraints: 44323
2579.00/2586.63 c #Conflicts: 935000 | #Constraints: 45323
2579.00/2586.63 c #Conflicts: 936000 | #Constraints: 46323
2579.00/2586.63 c #Conflicts: 937000 | #Constraints: 47323
2579.00/2586.63 c #Conflicts: 938000 | #Constraints: 48323
2579.00/2586.63 c #Conflicts: 939000 | #Constraints: 49323
2579.00/2586.63 c #Conflicts: 940000 | #Constraints: 50323
2579.00/2586.63 c #Conflicts: 941000 | #Constraints: 51323
2579.00/2586.63 c #Conflicts: 942000 | #Constraints: 52323
2579.00/2586.63 c #Conflicts: 943000 | #Constraints: 53323
2579.00/2586.63 c #Conflicts: 944000 | #Constraints: 54323
2579.00/2586.63 c #Conflicts: 945000 | #Constraints: 55323
2579.00/2586.63 c #Conflicts: 946000 | #Constraints: 56323
2579.00/2586.63 c #Conflicts: 947000 | #Constraints: 57323
2579.00/2586.63 c #Conflicts: 948000 | #Constraints: 58323
2579.00/2586.63 c #Conflicts: 949000 | #Constraints: 59323
2579.00/2586.63 c #Conflicts: 950000 | #Constraints: 60323
2579.00/2586.63 c #Conflicts: 951000 | #Constraints: 61323
2579.00/2586.63 c #Conflicts: 952000 | #Constraints: 62323
2579.00/2586.63 c #Conflicts: 953000 | #Constraints: 63323
2579.00/2586.63 c #Conflicts: 954000 | #Constraints: 64323
2579.00/2586.63 c #Conflicts: 955000 | #Constraints: 65323
2579.00/2586.63 c #Conflicts: 956000 | #Constraints: 66323
2579.00/2586.63 c #Conflicts: 957000 | #Constraints: 67323
2579.00/2586.63 c #Conflicts: 958000 | #Constraints: 68323
2579.00/2586.63 c #Conflicts: 959000 | #Constraints: 69323
2579.00/2586.63 c #Conflicts: 960000 | #Constraints: 70323
2579.00/2586.63 c #Conflicts: 961000 | #Constraints: 71323
2579.00/2586.63 c #Conflicts: 962000 | #Constraints: 72323
2579.00/2586.63 c #Conflicts: 963000 | #Constraints: 73324
2579.00/2586.63 c #Conflicts: 964000 | #Constraints: 74324
2579.00/2586.63 c #Conflicts: 965000 | #Constraints: 75324
2579.00/2586.63 c #Conflicts: 966000 | #Constraints: 76324
2579.00/2586.63 c #Conflicts: 967000 | #Constraints: 77324
2579.00/2586.63 c #Conflicts: 968000 | #Constraints: 78324
2579.00/2586.63 c #Conflicts: 969000 | #Constraints: 79324
2579.00/2586.63 c #Conflicts: 970000 | #Constraints: 80324
2579.00/2586.63 c #Conflicts: 971000 | #Constraints: 81324
2579.00/2586.63 c #Conflicts: 972000 | #Constraints: 82324
2579.00/2586.63 c #Conflicts: 973000 | #Constraints: 83324
2579.00/2586.63 c #Conflicts: 974000 | #Constraints: 84324
2579.00/2586.63 c #Conflicts: 975000 | #Constraints: 85324
2579.00/2586.63 c #Conflicts: 976000 | #Constraints: 86324
2579.00/2586.63 c #Conflicts: 977000 | #Constraints: 87324
2579.00/2586.63 c #Conflicts: 978000 | #Constraints: 88324
2579.00/2586.63 c #Conflicts: 979000 | #Constraints: 89324
2579.00/2586.63 c #Conflicts: 980000 | #Constraints: 90324
2579.00/2586.63 c #Conflicts: 981000 | #Constraints: 91324
2579.00/2586.63 c #Conflicts: 982000 | #Constraints: 92324
2579.00/2586.63 c #Conflicts: 983000 | #Constraints: 93324
2579.00/2586.63 c #Conflicts: 984000 | #Constraints: 94324
2579.00/2586.63 c #Conflicts: 985000 | #Constraints: 95324
2683.67/2691.65 c #Conflicts: 986000 | #Constraints: 96324
2683.67/2691.65 c #Conflicts: 987000 | #Constraints: 97324
2683.67/2691.65 c #Conflicts: 988000 | #Constraints: 98324
2683.67/2691.65 c #Conflicts: 989000 | #Constraints: 99324
2683.67/2691.65 c #Conflicts: 990000 | #Constraints: 100324
2683.67/2691.65 c #Conflicts: 991000 | #Constraints: 101324
2683.67/2691.65 c #Conflicts: 992000 | #Constraints: 102324
2683.67/2691.65 c #Conflicts: 993000 | #Constraints: 103324
2683.67/2691.65 c #Conflicts: 994000 | #Constraints: 104324
2683.67/2691.65 c #Conflicts: 995000 | #Constraints: 105324
2683.67/2691.65 c #Conflicts: 996000 | #Constraints: 106324
2683.67/2691.65 c #Conflicts: 997000 | #Constraints: 107324
2683.67/2691.65 c #Conflicts: 998000 | #Constraints: 108324
2683.67/2691.65 c #Conflicts: 999000 | #Constraints: 109324
2683.67/2691.65 c INPROCESSING
2683.67/2691.65 c GARBAGE COLLECT
2683.67/2691.65 c rational objective 1.11799e-13
2953.45/2962.28 c #Conflicts: 1000000 | #Constraints: 60457
2953.45/2962.28 c #Conflicts: 1001000 | #Constraints: 61457
2953.45/2962.28 c #Conflicts: 1002000 | #Constraints: 62457
2953.45/2962.28 c #Conflicts: 1003000 | #Constraints: 63457
2953.45/2962.28 c #Conflicts: 1004000 | #Constraints: 64457
2953.45/2962.28 c #Conflicts: 1005000 | #Constraints: 65457
2953.45/2962.28 c #Conflicts: 1006000 | #Constraints: 66457
2953.45/2962.28 c #Conflicts: 1007000 | #Constraints: 67457
2953.45/2962.28 c #Conflicts: 1008000 | #Constraints: 68457
2953.45/2962.28 c #Conflicts: 1009000 | #Constraints: 69457
2953.45/2962.28 c #Conflicts: 1010000 | #Constraints: 70457
2953.45/2962.28 c #Conflicts: 1011000 | #Constraints: 71457
2953.45/2962.28 c #Conflicts: 1012000 | #Constraints: 72457
2953.45/2962.28 c #Conflicts: 1013000 | #Constraints: 73457
2953.45/2962.28 c #Conflicts: 1014000 | #Constraints: 74457
2953.45/2962.28 c #Conflicts: 1015000 | #Constraints: 75457
2953.45/2962.28 c #Conflicts: 1016000 | #Constraints: 76457
2953.45/2962.28 c #Conflicts: 1017000 | #Constraints: 77457
2953.45/2962.28 c #Conflicts: 1018000 | #Constraints: 78457
2953.45/2962.28 c #Conflicts: 1019000 | #Constraints: 79457
2953.45/2962.28 c #Conflicts: 1020000 | #Constraints: 80457
2953.45/2962.28 c #Conflicts: 1021000 | #Constraints: 81457
2953.45/2962.28 c #Conflicts: 1022000 | #Constraints: 82457
2953.45/2962.28 c #Conflicts: 1023000 | #Constraints: 83457
2953.45/2962.28 c #Conflicts: 1024000 | #Constraints: 84457
2953.45/2962.28 c INPROCESSING
2953.45/2962.28 c GARBAGE COLLECT
2953.45/2962.28 c #Conflicts: 1025000 | #Constraints: 47996
2953.45/2962.28 c #Conflicts: 1026000 | #Constraints: 48996
2953.45/2962.28 c #Conflicts: 1027000 | #Constraints: 49996
2953.45/2962.28 c #Conflicts: 1028000 | #Constraints: 50996
2953.45/2962.28 c #Conflicts: 1029000 | #Constraints: 51996
2953.45/2962.28 c #Conflicts: 1030000 | #Constraints: 52996
2953.45/2962.28 c #Conflicts: 1031000 | #Constraints: 53996
2953.45/2962.28 c #Conflicts: 1032000 | #Constraints: 54996
2953.45/2962.28 c #Conflicts: 1033000 | #Constraints: 55996
2953.45/2962.28 c #Conflicts: 1034000 | #Constraints: 56996
2953.45/2962.28 c #Conflicts: 1035000 | #Constraints: 57996
2953.45/2962.28 c #Conflicts: 1036000 | #Constraints: 58996
2953.45/2962.28 c #Conflicts: 1037000 | #Constraints: 59996
2953.45/2962.28 c #Conflicts: 1038000 | #Constraints: 60996
2953.45/2962.28 c #Conflicts: 1039000 | #Constraints: 61996
2953.45/2962.28 c #Conflicts: 1040000 | #Constraints: 62996
2953.45/2962.28 c #Conflicts: 1041000 | #Constraints: 63996
2953.45/2962.28 c #Conflicts: 1042000 | #Constraints: 64996
2953.45/2962.28 c #Conflicts: 1043000 | #Constraints: 65996
2953.45/2962.28 c #Conflicts: 1044000 | #Constraints: 66996
2953.45/2962.28 c #Conflicts: 1045000 | #Constraints: 67996
2953.45/2962.28 c #Conflicts: 1046000 | #Constraints: 68996
2953.45/2962.28 c #Conflicts: 1047000 | #Constraints: 69996
2953.45/2962.28 c #Conflicts: 1048000 | #Constraints: 70996
2953.45/2962.28 c #Conflicts: 1049000 | #Constraints: 71996
2953.45/2962.28 c INPROCESSING
2953.45/2962.28 c GARBAGE COLLECT
2953.45/2962.28 c #Conflicts: 1050000 | #Constraints: 42694
2953.45/2962.28 c #Conflicts: 1051000 | #Constraints: 43694
2953.45/2962.28 c #Conflicts: 1052000 | #Constraints: 44694
2953.45/2962.28 c #Conflicts: 1053000 | #Constraints: 45694
2953.45/2962.28 c #Conflicts: 1054000 | #Constraints: 46694
2953.45/2962.28 c #Conflicts: 1055000 | #Constraints: 47694
2953.45/2962.28 c #Conflicts: 1056000 | #Constraints: 48694
2953.45/2962.28 c #Conflicts: 1057000 | #Constraints: 49694
2953.45/2962.28 c #Conflicts: 1058000 | #Constraints: 50694
2953.45/2962.28 c #Conflicts: 1059000 | #Constraints: 51694
2953.45/2962.28 c #Conflicts: 1060000 | #Constraints: 52694
2953.45/2962.28 c #Conflicts: 1061000 | #Constraints: 53694
2953.45/2962.28 c #Conflicts: 1062000 | #Constraints: 54694
2953.45/2962.28 c #Conflicts: 1063000 | #Constraints: 55694
2953.45/2962.28 c #Conflicts: 1064000 | #Constraints: 56694
2953.45/2962.28 c #Conflicts: 1065000 | #Constraints: 57694
2953.45/2962.28 c #Conflicts: 1066000 | #Constraints: 58694
2953.45/2962.28 c #Conflicts: 1067000 | #Constraints: 59694
2953.45/2962.28 c #Conflicts: 1068000 | #Constraints: 60694
2953.45/2962.28 c #Conflicts: 1069000 | #Constraints: 61694
2953.45/2962.28 c #Conflicts: 1070000 | #Constraints: 62694
2953.45/2962.28 c #Conflicts: 1071000 | #Constraints: 63694
2953.45/2962.28 c #Conflicts: 1072000 | #Constraints: 64694
2953.45/2962.28 c #Conflicts: 1073000 | #Constraints: 65694
2953.45/2962.28 c #Conflicts: 1074000 | #Constraints: 66694
2953.45/2962.28 c #Conflicts: 1075000 | #Constraints: 67694
2953.45/2962.28 c #Conflicts: 1076000 | #Constraints: 68694
2953.45/2962.28 c #Conflicts: 1077000 | #Constraints: 69694
3273.94/3283.55 c #Conflicts: 1078000 | #Constraints: 70694
3273.94/3283.55 c #Conflicts: 1079000 | #Constraints: 71694
3273.94/3283.55 c #Conflicts: 1080000 | #Constraints: 72694
3273.94/3283.55 c #Conflicts: 1081000 | #Constraints: 73694
3273.94/3283.55 c #Conflicts: 1082000 | #Constraints: 74694
3273.94/3283.55 c #Conflicts: 1083000 | #Constraints: 75694
3273.94/3283.55 c #Conflicts: 1084000 | #Constraints: 76694
3273.94/3283.55 c #Conflicts: 1085000 | #Constraints: 77694
3273.94/3283.55 c #Conflicts: 1086000 | #Constraints: 78694
3273.94/3283.55 c #Conflicts: 1087000 | #Constraints: 79694
3273.94/3283.55 c #Conflicts: 1088000 | #Constraints: 80694
3273.94/3283.55 c #Conflicts: 1089000 | #Constraints: 81694
3273.94/3283.55 c #Conflicts: 1090000 | #Constraints: 82694
3273.94/3283.55 c #Conflicts: 1091000 | #Constraints: 83694
3273.94/3283.55 c #Conflicts: 1092000 | #Constraints: 84694
3273.94/3283.55 c #Conflicts: 1093000 | #Constraints: 85694
3273.94/3283.55 c #Conflicts: 1094000 | #Constraints: 86694
3273.94/3283.55 c #Conflicts: 1095000 | #Constraints: 87694
3273.94/3283.55 c #Conflicts: 1096000 | #Constraints: 88694
3273.94/3283.55 c #Conflicts: 1097000 | #Constraints: 89694
3273.94/3283.55 c #Conflicts: 1098000 | #Constraints: 90694
3273.94/3283.55 c #Conflicts: 1099000 | #Constraints: 91694
3273.94/3283.55 c #Conflicts: 1100000 | #Constraints: 92694
3273.94/3283.55 c #Conflicts: 1101000 | #Constraints: 93694
3273.94/3283.55 c #Conflicts: 1102000 | #Constraints: 94694
3273.94/3283.55 c #Conflicts: 1103000 | #Constraints: 95694
3273.94/3283.55 c #Conflicts: 1104000 | #Constraints: 96694
3273.94/3283.55 c #Conflicts: 1105000 | #Constraints: 97694
3273.94/3283.55 c #Conflicts: 1106000 | #Constraints: 98694
3273.94/3283.55 c #Conflicts: 1107000 | #Constraints: 99694
3273.94/3283.55 c #Conflicts: 1108000 | #Constraints: 100694
3273.94/3283.55 c #Conflicts: 1109000 | #Constraints: 101694
3273.94/3283.55 c #Conflicts: 1110000 | #Constraints: 102694
3273.94/3283.55 c #Conflicts: 1111000 | #Constraints: 103694
3273.94/3283.55 c #Conflicts: 1112000 | #Constraints: 104694
3273.94/3283.55 c #Conflicts: 1113000 | #Constraints: 105694
3273.94/3283.55 c #Conflicts: 1114000 | #Constraints: 106694
3273.94/3283.55 c #Conflicts: 1115000 | #Constraints: 107694
3273.94/3283.55 c #Conflicts: 1116000 | #Constraints: 108694
3273.94/3283.55 c #Conflicts: 1117000 | #Constraints: 109694
3273.94/3283.55 c #Conflicts: 1118000 | #Constraints: 110694
3273.94/3283.55 c #Conflicts: 1119000 | #Constraints: 111694
3273.94/3283.55 c #Conflicts: 1120000 | #Constraints: 112694
3273.94/3283.55 c #Conflicts: 1121000 | #Constraints: 113694
3273.94/3283.55 c #Conflicts: 1122000 | #Constraints: 114694
3273.94/3283.55 c #Conflicts: 1123000 | #Constraints: 115694
3273.94/3283.55 c INPROCESSING
3273.94/3283.55 c GARBAGE COLLECT
3273.94/3283.55 c rational objective 1.11799e-13
3369.01/3378.80 c #Conflicts: 1124000 | #Constraints: 63860
3369.01/3378.80 c #Conflicts: 1125000 | #Constraints: 64860
3369.01/3378.80 c #Conflicts: 1126000 | #Constraints: 65860
3369.01/3378.80 c #Conflicts: 1127000 | #Constraints: 66860
3369.01/3378.80 c #Conflicts: 1128000 | #Constraints: 67860
3369.01/3378.80 c #Conflicts: 1129000 | #Constraints: 68860
3369.01/3378.80 c #Conflicts: 1130000 | #Constraints: 69860
3369.01/3378.80 c #Conflicts: 1131000 | #Constraints: 70860
3369.01/3378.80 c #Conflicts: 1132000 | #Constraints: 71860
3369.01/3378.80 c #Conflicts: 1133000 | #Constraints: 72860
3369.01/3378.80 c #Conflicts: 1134000 | #Constraints: 73860
3369.01/3378.80 c #Conflicts: 1135000 | #Constraints: 74860
3369.01/3378.80 c #Conflicts: 1136000 | #Constraints: 75860
3369.01/3378.80 c #Conflicts: 1137000 | #Constraints: 76860
3369.01/3378.80 c #Conflicts: 1138000 | #Constraints: 77860
3369.01/3378.80 c #Conflicts: 1139000 | #Constraints: 78860
3369.01/3378.80 c #Conflicts: 1140000 | #Constraints: 79860
3369.01/3378.80 c #Conflicts: 1141000 | #Constraints: 80860
3369.01/3378.80 c #Conflicts: 1142000 | #Constraints: 81860
3369.01/3378.80 c #Conflicts: 1143000 | #Constraints: 82860
3369.01/3378.80 c #Conflicts: 1144000 | #Constraints: 83860
3369.01/3378.80 c #Conflicts: 1145000 | #Constraints: 84860
3369.01/3378.80 c #Conflicts: 1146000 | #Constraints: 85860
3369.01/3378.80 c #Conflicts: 1147000 | #Constraints: 86860
3369.01/3378.80 c #Conflicts: 1148000 | #Constraints: 87860
3369.01/3378.80 c #Conflicts: 1149000 | #Constraints: 88860
3369.01/3378.80 c INPROCESSING
3369.01/3378.80 c GARBAGE COLLECT
3369.01/3378.80 c rational objective 0
3584.32/3594.69 c #Conflicts: 1150000 | #Constraints: 50173
3584.32/3594.69 c #Conflicts: 1151000 | #Constraints: 51173
3584.32/3594.69 c #Conflicts: 1152000 | #Constraints: 52173
3584.32/3594.69 c #Conflicts: 1153000 | #Constraints: 53173
3584.32/3594.69 c #Conflicts: 1154000 | #Constraints: 54173
3584.32/3594.69 c #Conflicts: 1155000 | #Constraints: 55173
3584.32/3594.69 c #Conflicts: 1156000 | #Constraints: 56173
3584.32/3594.69 c #Conflicts: 1157000 | #Constraints: 57173
3584.32/3594.69 c #Conflicts: 1158000 | #Constraints: 58173
3584.32/3594.69 c #Conflicts: 1159000 | #Constraints: 59173
3584.32/3594.69 c #Conflicts: 1160000 | #Constraints: 60173
3584.32/3594.69 c #Conflicts: 1161000 | #Constraints: 61173
3584.32/3594.69 c #Conflicts: 1162000 | #Constraints: 62173
3584.32/3594.69 c #Conflicts: 1163000 | #Constraints: 63173
3584.32/3594.69 c #Conflicts: 1164000 | #Constraints: 64173
3584.32/3594.69 c #Conflicts: 1165000 | #Constraints: 65173
3584.32/3594.69 c #Conflicts: 1166000 | #Constraints: 66173
3584.32/3594.69 c #Conflicts: 1167000 | #Constraints: 67173
3584.32/3594.69 c #Conflicts: 1168000 | #Constraints: 68173
3584.32/3594.69 c #Conflicts: 1169000 | #Constraints: 69173
3584.32/3594.69 c #Conflicts: 1170000 | #Constraints: 70173
3584.32/3594.69 c #Conflicts: 1171000 | #Constraints: 71173
3584.32/3594.69 c #Conflicts: 1172000 | #Constraints: 72173
3584.32/3594.69 c #Conflicts: 1173000 | #Constraints: 73173
3584.32/3594.69 c #Conflicts: 1174000 | #Constraints: 74173
3584.32/3594.69 c #Conflicts: 1175000 | #Constraints: 75173
3584.32/3594.69 c #Conflicts: 1176000 | #Constraints: 76174
3584.32/3594.69 c INPROCESSING
3584.32/3594.69 c GARBAGE COLLECT
3584.32/3594.69 c #Conflicts: 1177000 | #Constraints: 44533
3584.32/3594.69 c #Conflicts: 1178000 | #Constraints: 45533
3584.32/3594.69 c #Conflicts: 1179000 | #Constraints: 46533
3584.32/3594.69 c #Conflicts: 1180000 | #Constraints: 47533
3584.32/3594.69 c #Conflicts: 1181000 | #Constraints: 48533
3584.32/3594.69 c #Conflicts: 1182000 | #Constraints: 49533
3584.32/3594.69 c #Conflicts: 1183000 | #Constraints: 50533
3584.32/3594.69 c #Conflicts: 1184000 | #Constraints: 51533
3584.32/3594.69 c #Conflicts: 1185000 | #Constraints: 52533
3584.32/3594.69 c #Conflicts: 1186000 | #Constraints: 53533
3584.32/3594.69 c #Conflicts: 1187000 | #Constraints: 54533
3584.32/3594.69 c #Conflicts: 1188000 | #Constraints: 55533
3584.32/3594.69 c #Conflicts: 1189000 | #Constraints: 56533
3584.32/3594.69 c #Conflicts: 1190000 | #Constraints: 57533
3584.32/3594.69 c #Conflicts: 1191000 | #Constraints: 58533
3584.32/3594.69 c #Conflicts: 1192000 | #Constraints: 59533
3584.32/3594.69 c #Conflicts: 1193000 | #Constraints: 60533
3584.32/3594.69 c #Conflicts: 1194000 | #Constraints: 61533
3584.32/3594.69 c #Conflicts: 1195000 | #Constraints: 62533
3584.32/3594.69 c #Conflicts: 1196000 | #Constraints: 63533
3584.32/3594.69 c #Conflicts: 1197000 | #Constraints: 64533
3584.32/3594.69 c #Conflicts: 1198000 | #Constraints: 65533
3584.32/3594.69 c #Conflicts: 1199000 | #Constraints: 66533
3584.32/3594.69 c #Conflicts: 1200000 | #Constraints: 67533
3584.32/3594.69 c #Conflicts: 1201000 | #Constraints: 68533
3584.32/3594.69 c #Conflicts: 1202000 | #Constraints: 69533
3584.32/3594.69 c #Conflicts: 1203000 | #Constraints: 70533
3584.32/3594.69 c #Conflicts: 1204000 | #Constraints: 71533
3584.32/3594.69 c #Conflicts: 1205000 | #Constraints: 72533
3584.32/3594.69 c #Conflicts: 1206000 | #Constraints: 73533
3584.32/3594.69 c #Conflicts: 1207000 | #Constraints: 74533
3584.32/3594.69 c #Conflicts: 1208000 | #Constraints: 75533
3584.32/3594.69 c #Conflicts: 1209000 | #Constraints: 76533
3584.32/3594.69 c #Conflicts: 1210000 | #Constraints: 77533
3584.32/3594.69 c #Conflicts: 1211000 | #Constraints: 78533
3584.32/3594.69 c #Conflicts: 1212000 | #Constraints: 79533
3584.32/3594.69 c #Conflicts: 1213000 | #Constraints: 80533
3584.32/3594.69 c #Conflicts: 1214000 | #Constraints: 81533
3584.32/3594.69 c #Conflicts: 1215000 | #Constraints: 82533
3584.32/3594.69 c #Conflicts: 1216000 | #Constraints: 83533
3584.32/3594.69 c #Conflicts: 1217000 | #Constraints: 84533
3584.32/3594.69 c #Conflicts: 1218000 | #Constraints: 85533
3584.32/3594.69 c #Conflicts: 1219000 | #Constraints: 86533
3584.32/3594.69 c #Conflicts: 1220000 | #Constraints: 87533
3584.32/3594.69 c #Conflicts: 1221000 | #Constraints: 88533
3584.32/3594.69 c #Conflicts: 1222000 | #Constraints: 89533
3584.32/3594.69 c #Conflicts: 1223000 | #Constraints: 90533
3584.32/3594.69 c #Conflicts: 1224000 | #Constraints: 91533
3584.32/3594.69 c #Conflicts: 1225000 | #Constraints: 92533
3584.32/3594.69 c #Conflicts: 1226000 | #Constraints: 93533
3584.32/3594.69 c #Conflicts: 1227000 | #Constraints: 94533
3584.32/3594.69 c #Conflicts: 1228000 | #Constraints: 95533
3600.08/3610.40 c #Conflicts: 1229000 | #Constraints: 96533
3600.08/3610.40 c #Conflicts: 1230000 | #Constraints: 97533
3600.08/3610.40 c #Conflicts: 1231000 | #Constraints: 98533
3600.08/3610.40 c cpu time 3593.48 s
3600.08/3610.40 c deterministic time 87232206864 8.72e+10
3600.08/3610.40 c optimization time 162.708 s
3600.08/3610.40 c total solve time 3430.75 s
3600.08/3610.40 c core-guided solve time 0 s
3600.08/3610.40 c propagation time 1196.73 s
3600.08/3610.40 c conflict analysis time 2342.04 s
3600.08/3610.40 c propagations 651188003
3600.08/3610.40 c resolve steps 274280915
3600.08/3610.40 c decisions 1873349
3600.08/3610.40 c conflicts 1231296
3600.08/3610.40 c restarts 2308
3600.08/3610.40 c inprocessing phases 56
3600.08/3610.40 c garbage collections 56 ,( 100.00 )
3600.08/3610.40 c input clauses 6156 ,( 68.67 )
3600.08/3610.40 c input cardinalities 0 ,( 0.00 )
3600.08/3610.40 c input general constraints 2809 ,( 31.33 )
3600.08/3610.40 c input average constraint length 3.10
3600.08/3610.40 c input average constraint degree 2009414223033.63
3600.08/3610.40 c learned clauses 995291 ,( 80.83 )
3600.08/3610.40 c learned cardinalities 107 ,( 0.01 )
3600.08/3610.40 c learned general constraints 235908 ,( 19.16 )
3600.08/3610.40 c learned average constraint length 487.35
3600.08/3610.40 c learned average constraint degree 54584064.73
3600.08/3610.40 c watched CF 32, 64, 128, Arb: 55395 , 0 , 0 , 0
3600.08/3610.40 c counting CF 32, 64, 128, Arb: 183321 , 1 , 0 , 0
3600.08/3610.40 c watched constraints 55395 ,( 23.21 )
3600.08/3610.40 c counting constraints 183322 ,( 76.79 )
3600.08/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 797780280 , 2306194 , 14474125040 ,( 120701929 , 14353423111 )
3600.08/3610.40 c gcd simplifications 22019
3600.08/3610.40 c detected cardinalities 23
3600.08/3610.40 c weakened non-implied lits 91501005
3600.08/3610.40 c weakened non-implying lits 396839
3600.08/3610.40 c original variables 4482
3600.08/3610.40 c clausal propagations 178202410
3600.08/3610.40 c cardinality propagations 91450
3600.08/3610.40 c watched propagations 1375929
3600.08/3610.40 c counting propagations 470276542
3600.08/3610.40 c watch lookups 55297808038
3600.08/3610.40 c watch backjump lookups 0
3600.08/3610.40 c watch checks 7135572117
3600.08/3610.40 c propagation checks 21064710379
3600.08/3610.40 c constraint additions 2426524381
3600.08/3610.40 c trail pops 654288156
3600.08/3610.40 c formula constraints 8965
3600.08/3610.40 c learned constraints 1231285
3600.08/3610.40 c bound constraints 0
3600.08/3610.40 c core-guided constraints 0
3600.08/3610.40 c encountered formula constraints 213672627
3600.08/3610.40 c encountered learned constraints 61653429
3600.08/3610.40 c encountered bound constraints 0
3600.08/3610.40 c encountered core-guided constraints 0
3600.08/3610.40 c LP total time 20.0207 s
3600.08/3610.40 c LP solve time 18.56 s
3600.08/3610.40 c LP constraints added 8965
3600.08/3610.40 c LP constraints removed 0
3600.08/3610.40 c LP pivots internal 123524
3600.08/3610.40 c LP pivots root 118916
3600.08/3610.40 c LP calls 273
3600.08/3610.40 c LP optimalities 258
3600.08/3610.40 c LP no pivot count 19
3600.08/3610.40 c LP infeasibilities 11
3600.08/3610.40 c LP valid Farkas constraints 11
3600.08/3610.40 c LP learned Farkas constraints 10
3600.08/3610.40 c LP basis resets 0
3600.08/3610.40 c LP cycling count 0
3600.08/3610.40 c LP singular count 0
3600.08/3610.40 c LP no primal count 0
3600.08/3610.40 c LP no farkas count 0
3600.08/3610.40 c LP other issue count 0
3600.08/3610.40 c LP Gomory cuts 0
3600.08/3610.40 c LP learned cuts 0
3600.08/3610.40 c LP deleted cuts 0
3600.08/3610.40 c LP encountered Gomory constraints 0
3600.08/3610.40 c LP encountered Farkas constraints 184496
3600.08/3610.40 c LP encountered learned Farkas constraints 1649
3600.08/3610.40 c CG auxiliary variables introduced 0
3600.08/3610.40 c CG solutions found 0
3600.08/3610.40 c CG cores constructed 0
3600.08/3610.40 c CG core cardinality constraints returned 0
3600.08/3610.40 c CG unit cores 0
3600.08/3610.40 c CG single cores 0
3600.08/3610.40 c CG blocks removed during cardinality reduction 0
3600.08/3610.40 c CG first core best 0
3600.08/3610.40 c CG decision core best 0
3600.08/3610.40 c CG core reduction tie 0
3600.08/3610.40 c CG core degree average 0.00
3600.08/3610.40 c CG core slack average 0.00
3600.08/3610.40 c CG core upper bound improvements 0
3600.08/3610.40 c STR number of successful calls 0
3600.08/3610.40 c STR number of unsuccessful calls 0
3600.08/3610.40 c STR number of inconclusive calls 0
3600.08/3610.40 c STR number of successful attempts 0
3600.08/3610.40 c STR number of unsuccessful attempts 0
3600.08/3610.40 c STR number of inconclusive attempts 0
3600.08/3610.40 c STR average degree increase per successful call inf
3600.08/3610.40 c STR average degree increase per successful attempt inf
3600.08/3610.40 c STR total number of conflicts for successful attempts 0
3600.08/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.40 c STR average number of conflicts per successful attempt inf
3600.08/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.40 c AVG.sumWPerc 66.89
3600.08/3610.40 c bigint constraints 1
3600.08/3610.40 s UNKNOWN
3600.08/3610.40 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 (58068 MiB free)
memory of node 1: 64465 MiB (56726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542073-1753211592/watcher-4542073-1753211592 -o /tmp/evaluation-result-4542073-1753211592/solver-4542073-1753211592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4542073-1753211592.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=171603, runsolver pid=171597
[startup+0.100063 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117501968/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=72360 memory=24108 CPUtime=0.08 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 4497 0 0 0 6 2 0 0 20 0 1 0 236837815 74096640 6027 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 18090 6027 2304 1147 0 5517 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76552 KiB
Current children cumulated memory: 27180 KiB
[startup+0.205675 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117472768/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=73476 memory=26284 CPUtime=0.18 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 5018 0 0 0 16 2 0 0 20 0 1 0 236837815 75239424 6571 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 18369 6571 2336 1147 0 5796 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 77668 KiB
Current children cumulated memory: 29356 KiB
[startup+0.305398 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117470752/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=74140 memory=27308 CPUtime=0.28 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 5268 0 0 0 26 2 0 0 20 0 1 0 236837815 75919360 6827 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 18535 6827 2336 1147 0 5962 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78332 KiB
Current children cumulated memory: 30380 KiB
[startup+0.700152 s]
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117465964/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=74808 memory=28588 CPUtime=0.67 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 5566 0 0 0 65 2 0 0 20 0 1 0 236837815 76603392 7147 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 18702 7147 2336 1147 0 6129 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79000 KiB
Current children cumulated memory: 31660 KiB
[startup+1.50018 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117447072/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=76252 memory=32076 CPUtime=1.47 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 5938 0 0 0 144 3 0 0 20 0 1 0 236837815 78082048 8019 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 19063 8019 2336 1147 0 6490 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80444 KiB
Current children cumulated memory: 35148 KiB
[startup+3.10546 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117403496/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=76252 memory=32076 CPUtime=3.07 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 5938 0 0 0 304 3 0 0 20 0 1 0 236837815 78082048 8019 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 19063 8019 2336 1147 0 6490 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80444 KiB
Current children cumulated memory: 35148 KiB
[startup+6.30016 s]
/proc/loadavg: 1.54 1.22 1.65 5/269 171615
/proc/meminfo: memFree=117387476/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=77056 memory=33100 CPUtime=6.26 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 6189 0 0 0 621 5 0 0 20 0 1 0 236837815 78905344 8275 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 19264 8275 2336 1147 0 6691 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81248 KiB
Current children cumulated memory: 36172 KiB
[startup+12.7002 s]
/proc/loadavg: 1.82 1.29 1.67 5/269 171661
/proc/meminfo: memFree=115800360/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=80904 memory=34380 CPUtime=12.65 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 6522 0 0 0 1259 6 0 0 20 0 1 0 236837815 82845696 8595 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 20226 8595 2336 1147 0 7653 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85096 KiB
Current children cumulated memory: 37452 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.38 1.69 5/269 171661
/proc/meminfo: memFree=114734676/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=82808 memory=36684 CPUtime=25.41 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 7088 0 0 0 2530 11 0 0 20 0 1 0 236837815 84795392 9171 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 20702 9171 2336 1147 0 8129 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 87000 KiB
Current children cumulated memory: 39756 KiB
[startup+51.1055 s]
/proc/loadavg: 2.95 1.64 1.77 5/269 171662
/proc/meminfo: memFree=114645864/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=116388 memory=63436 CPUtime=50.96 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 11792 0 0 0 5077 19 0 0 20 0 1 0 236837815 119181312 15859 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 29097 15859 2336 1147 0 16524 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 120580 KiB
Current children cumulated memory: 66508 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.03 1.90 5/268 171665
/proc/meminfo: memFree=114431004/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=126104 memory=80760 CPUtime=102.03 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 14069 0 0 0 10171 32 0 0 20 0 1 0 236837815 129130496 20190 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 31526 20190 2336 1147 0 18953 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 130296 KiB
Current children cumulated memory: 83832 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.40 2.04 5/268 171667
/proc/meminfo: memFree=114292916/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=151032 memory=91232 CPUtime=161.88 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 16060 0 0 0 16137 51 0 0 20 0 1 0 236837815 154656768 22808 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 37758 22808 2336 1147 0 25185 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 155224 KiB
Current children cumulated memory: 94304 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.71 2.17 5/268 171669
/proc/meminfo: memFree=114053544/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=151960 memory=92256 CPUtime=221.75 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 16342 0 0 0 22108 67 0 0 20 0 1 0 236837815 155607040 23064 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 37990 23064 2336 1147 0 25417 0
Current children cumulated CPU time: 221.75 s
################
# More data... #
################
/proc/171609/statm: 166601 120360 2336 1147 0 154028 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 670596 KiB
Current children cumulated memory: 484512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/268 171871
/proc/meminfo: memFree=115043924/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=669532 memory=501792 CPUtime=3093.18 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 66870 0 0 0 308723 595 0 0 20 0 1 0 236837815 685600768 125448 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 167383 125448 2336 1147 0 154810 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 673724 KiB
Current children cumulated memory: 504864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/267 171873
/proc/meminfo: memFree=115009568/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=676572 memory=506272 CPUtime=3153.03 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 68058 0 0 0 314703 600 0 0 20 0 1 0 236837815 692809728 126568 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 169143 126568 2336 1147 0 156570 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 680764 KiB
Current children cumulated memory: 509344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/267 171875
/proc/meminfo: memFree=114960488/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=682976 memory=544000 CPUtime=3212.88 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 69289 0 0 0 320684 604 0 0 20 0 1 0 236837815 699367424 136000 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 170744 136000 2336 1147 0 158171 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 687168 KiB
Current children cumulated memory: 547072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 171877
/proc/meminfo: memFree=114902712/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=692304 memory=578984 CPUtime=3272.74 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 70905 0 0 0 326666 608 0 0 20 0 1 0 236837815 708919296 144746 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173076 144746 2336 1147 0 160503 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 696496 KiB
Current children cumulated memory: 582056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 171886
/proc/meminfo: memFree=114806156/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581288 CPUtime=3332.6 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71483 0 0 0 332641 619 0 0 20 0 1 0 236837815 711462912 145322 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145322 2336 1147 0 161124 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 171889
/proc/meminfo: memFree=114741076/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581672 CPUtime=3392.46 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71561 0 0 0 338616 630 0 0 20 0 1 0 236837815 711462912 145418 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145418 2336 1147 0 161124 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 171892
/proc/meminfo: memFree=114653796/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581672 CPUtime=3452.32 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71565 0 0 0 344592 640 0 0 20 0 1 0 236837815 711462912 145418 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145418 2336 1147 0 161124 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 171894
/proc/meminfo: memFree=114667312/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581672 CPUtime=3512.19 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71565 0 0 0 350569 650 0 0 20 0 1 0 236837815 711462912 145418 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145418 2336 1147 0 161124 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 171988
/proc/meminfo: memFree=115081660/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581672 CPUtime=3572.05 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71565 0 0 0 356547 658 0 0 20 0 1 0 236837815 711462912 145418 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145418 2336 1147 0 161124 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.09 4/263 171997
/proc/meminfo: memFree=115408108/131249996 swapFree=33010160/33010684
[pid=171603] ppid=171597 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/171603/stat : 171603 (run-dec.sh) S 171597 171603 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236837814 4292608 768 18446744073709551615 94915435974656 94915436869189 140725287965936 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94915437108240 94915437155984 94915455795200 140725287971179 140725287971302 140725287971302 140725287976906 0
/proc/171603/statm: 1048 768 704 219 0 110 0
[pid=171609] ppid=171603 vsize=694788 memory=581672 CPUtime=3600.08 cores=1,3
/proc/171609/stat : 171609 (roundingsat) R 171603 171603 171541 0 -1 4194304 71565 0 0 0 359347 661 0 0 20 0 1 0 236837815 711462912 145418 18446744073709551615 4227072 8923433 140732008438512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30359552 140732008446389 140732008446502 140732008446502 140732008452074 0
/proc/171609/statm: 173697 145418 2336 1147 0 161124 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 698980 KiB
Current children cumulated memory: 584744 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 171603 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00122 s, system=0.001217 s
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 171609 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.48 s, system=6.61904 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.41
CPU time (s): 3600.1
CPU user time (s): 3593.48
CPU system time (s): 6.61904
CPU usage (%): 99.7146
Max. virtual memory (cumulated for all children) (KiB): 698980
Max. memory (cumulated for all children) (KiB): 584744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.48
system time used= 6.61904
maximum resident set size= 582056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71793
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= 291
involuntary context switches= 2563
# summary of solver processes directly reported to runsolver:
# pid: 171603,171609
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.48
# total CPU system time (s): 6.61904
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12275 second user time and 16.5724 second system time
The end
Begin job on nodeC032 at 2025-07-22 21:13:12
IDJOB=4542073
IDBENCH=163785
IDSOLVER=3349
FILE ID=nodeC032/4542073-1753211592
RUNJOBID= nodeC032-1753211592-171553
SLURM_JOB_ID= 9687796
Free space on /tmp= 432584 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_comm/normalized-27diagcomm_less_teq.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542073-1753211592/watcher-4542073-1753211592 -o /tmp/evaluation-result-4542073-1753211592/solver-4542073-1753211592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4542073-1753211592.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e80427fd7184340cbc2fb1b3fd72520e
RANDOM SEED=1347807800
nodeC032 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 : 3603.874
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.69
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 : 3533.393
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.874
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.69
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.137
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.69
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.944
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.69
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.844
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.69
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 : 3599.852
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.69
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 : 3658.051
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117536976 kB
MemAvailable: 129574916 kB
Buffers: 2728 kB
Cached: 12717572 kB
SwapCached: 20 kB
Active: 1199808 kB
Inactive: 11586916 kB
Active(anon): 89540 kB
Inactive(anon): 3124 kB
Active(file): 1110268 kB
Inactive(file): 11583792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30456 kB
Writeback: 0 kB
AnonPages: 69476 kB
Mapped: 108388 kB
Shmem: 26240 kB
KReclaimable: 366236 kB
Slab: 465232 kB
SReclaimable: 366236 kB
SUnreclaim: 98996 kB
KernelStack: 4096 kB
PageTables: 2796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 349820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432536 MiB
End job on nodeC032 at 2025-07-22 22:13:22