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