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