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