(1,14) (2,18) (3,19) (4,13) (5,16) (6,12) (7,17) (8,11) (9,15) (10,20) 
nodes: 246  conflicts: 9  modelTime: 766  solveTime: 364  totalTime: 1135  modelSize: 20658  readTime: 5 size: 10