(2,16) (3,13) (4,15) (7,12) (8,17) (10,18) 
nodes: 242  conflicts: 38  modelTime: 689  solveTime: 471  totalTime: 1165  modelSize: 20646  readTime: 5 size: 6