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