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