(1,15) (2,19) (3,12) (4,13) (5,16) (7,17) (8,18) (9,14) (10,20) 
nodes: 737  conflicts: 20  modelTime: 699  solveTime: 659  totalTime: 1364  modelSize: 20658  readTime: 5 size: 9