(1,22) (2,27) (3,28) (4,20) (7,26) (8,24) (9,23) (10,21) (11,17) (13,25) (14,16) (15,29) 
nodes: 10443  conflicts: 43  modelTime: 663  solveTime: 17575  totalTime: 18244  modelSize: 41298  readTime: 6 size: 12