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