(1,18) (2,17) (4,12) (5,15) (7,13) (8,16) (9,19) (10,14) 
nodes: 379  conflicts: 25  modelTime: 698  solveTime: 566  totalTime: 1269  modelSize: 20658  readTime: 5 size: 8