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