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