(1,22) (2,27) (3,12) (4,20) (5,10) (6,25) (7,17) (8,23) (9,28) (11,16) (13,14) (15,19) (18,24) (21,30) (26,29) 
nodes: 5341  conflicts: 15  modelTime: 1703  solveTime: 29819  totalTime: 31626  modelSize: 72266  readTime: 104 size: 15