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