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