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