(1,13) (4,17) (5,20) (6,15) (7,11) (8,16) (9,12) (10,19) 
nodes: 493  conflicts: 13  modelTime: 721  solveTime: 979  totalTime: 1705  modelSize: 20658  readTime: 4 size: 8