(1,25) (2,7) (3,19) (4,23) (5,21) (6,28) (8,12) (9,20) (10,16) (11,17) (13,14) (15,26) (18,29) (22,24) (27,30) 
nodes: 5220  conflicts: 5  modelTime: 934  solveTime: 36122  totalTime: 37089  modelSize: 72264  readTime: 33 size: 15