(1,11) (2,12) (3,14) (4,16) (5,15) (6,18) (8,20) (10,19) 
nodes: 249  conflicts: 23  modelTime: 766  solveTime: 381  totalTime: 1152  modelSize: 20646  readTime: 5 size: 8