(1,22) (2,20) (3,26) (4,17) (5,28) (6,27) (7,29) (9,19) (10,24) (11,21) (13,25) (14,23) (15,16) 
nodes: 1248  conflicts: 40  modelTime: 657  solveTime: 1351  totalTime: 2014  modelSize: 41293  readTime: 6 size: 13