(1,14) (2,12) (3,18) (4,13) (7,19) (8,15) (9,11) (10,17) 
nodes: 527  conflicts: 13  modelTime: 673  solveTime: 796  totalTime: 1473  modelSize: 20658  readTime: 4 size: 8