(1,12) (2,19) (3,17) (4,11) (5,13) (6,14) (7,16) (9,20) (10,15) 
nodes: 348  conflicts: 15  modelTime: 719  solveTime: 623  totalTime: 1347  modelSize: 20646  readTime: 5 size: 9