(2,13) (8,12) (10,15) 
nodes: 109  conflicts: 69  modelTime: 674  solveTime: 264  totalTime: 944  modelSize: 20646  readTime: 6 size: 3