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