(1,14) (2,12) (3,17) (4,18) (5,19) (6,11) (7,13) (8,16) (9,15) 
nodes: 408  conflicts: 12  modelTime: 696  solveTime: 872  totalTime: 1573  modelSize: 20658  readTime: 5 size: 9