(1,12) (2,15) (3,13) (4,14) (5,11) (7,18) (8,19) (9,20) (10,16) 
nodes: 428  conflicts: 8  modelTime: 587  solveTime: 915  totalTime: 1506  modelSize: 20658  readTime: 4 size: 9