(1,27) (2,20) (3,21) (4,24) (5,23) (6,17) (7,22) (8,19) (9,26) (10,29) (11,16) (12,30) (13,25) (14,18) (15,28) 
nodes: 1108  conflicts: 19  modelTime: 657  solveTime: 1703  totalTime: 2367  modelSize: 41293  readTime: 7 size: 15