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