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