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