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