(1,15) (2,14) (3,19) (4,12) (5,11) (7,20) (8,13) (10,17) 
nodes: 297  conflicts: 17  modelTime: 810  solveTime: 571  totalTime: 1386  modelSize: 20658  readTime: 5 size: 8