(1,18) (2,11) (5,15) (8,14) (9,16) (10,17) 
nodes: 221  conflicts: 31  modelTime: 641  solveTime: 399  totalTime: 1046  modelSize: 20646  readTime: 6 size: 6