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