(2,11) (3,15) (6,14) (7,18) (8,12) (10,16) 
nodes: 226  conflicts: 39  modelTime: 679  solveTime: 328  totalTime: 1012  modelSize: 20646  readTime: 5 size: 6