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