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