(1,12) (2,18) (3,16) (4,19) (5,15) (7,13) (8,11) (9,17) (10,20) 
nodes: 221  conflicts: 16  modelTime: 668  solveTime: 512  totalTime: 1185  modelSize: 20658  readTime: 5 size: 9