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