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