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