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