(1,16) (2,13) (4,17) (6,12) (7,11) (8,18) (9,14) (10,15) 
nodes: 242  conflicts: 25  modelTime: 668  solveTime: 364  totalTime: 1037  modelSize: 20646  readTime: 5 size: 8