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