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