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