(1,14) (2,18) (4,11) (5,13) (6,19) (7,17) (8,20) (9,12) (10,16) 
nodes: 289  conflicts: 16  modelTime: 720  solveTime: 644  totalTime: 1369  modelSize: 20658  readTime: 5 size: 9