(1,15) (2,14) (3,16) (4,11) (7,12) (9,20) (10,18) 
nodes: 282  conflicts: 28  modelTime: 770  solveTime: 509  totalTime: 1285  modelSize: 20646  readTime: 6 size: 7