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