(1,18) (3,11) (7,17) (8,13) (9,15) 
nodes: 107  conflicts: 60  modelTime: 821  solveTime: 475  totalTime: 1302  modelSize: 20646  readTime: 5 size: 5