(1,22) (2,18) (3,27) (4,20) (5,26) (6,21) (7,24) (9,29) (10,17) (12,23) (13,19) (14,16) (15,25) 
nodes: 6072  conflicts: 26  modelTime: 656  solveTime: 10123  totalTime: 10786  modelSize: 41298  readTime: 7 size: 13