(1,23) (2,24) (3,28) (4,16) (5,25) (6,29) (7,30) (8,19) (9,20) (10,26) (11,21) (12,17) (14,18) (15,27) 
nodes: 1705  conflicts: 33  modelTime: 656  solveTime: 1318  totalTime: 1981  modelSize: 41293  readTime: 7 size: 14