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