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