(1,15) (2,13) (3,18) (4,20) (5,17) (6,11) (8,16) (9,19) (10,12) 
nodes: 816  conflicts: 27  modelTime: 679  solveTime: 899  totalTime: 1583  modelSize: 20658  readTime: 5 size: 9