(1,15) (2,17) (3,12) (5,18) (6,11) (7,16) (8,19) (9,20) (10,13) 
nodes: 309  conflicts: 18  modelTime: 639  solveTime: 404  totalTime: 1048  modelSize: 20658  readTime: 5 size: 9