(1,11) (2,15) (3,17) (4,13) (5,19) (6,20) (7,18) (8,16) (9,14) (10,12) 
nodes: 914  conflicts: 19  modelTime: 681  solveTime: 860  totalTime: 1547  modelSize: 20658  readTime: 6 size: 10