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