(1,11) (2,15) (3,14) (4,12) (5,16) (6,19) (8,18) (9,20) (10,17) 
nodes: 231  conflicts: 8  modelTime: 586  solveTime: 489  totalTime: 1079  modelSize: 20646  readTime: 4 size: 9