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