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