(2,16) (3,18) (4,11) (6,12) (7,15) (8,14) (9,13) 
nodes: 440  conflicts: 30  modelTime: 587  solveTime: 532  totalTime: 1124  modelSize: 20646  readTime: 5 size: 7