(1,11) (2,16) (3,13) (4,12) (5,20) (6,17) (8,19) (9,18) (10,14) 
nodes: 302  conflicts: 20  modelTime: 744  solveTime: 863  totalTime: 1612  modelSize: 20658  readTime: 5 size: 9