(1,12) (2,18) (3,16) (4,19) (5,11) (7,14) (8,20) (9,13) (10,15) 
nodes: 284  conflicts: 11  modelTime: 590  solveTime: 705  totalTime: 1300  modelSize: 20658  readTime: 5 size: 9