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