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