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