(1,8) (2,27) (3,10) (4,29) (5,26) (6,22) (7,30) (9,13) (11,20) (12,14) (15,21) (16,19) (17,28) (18,23) 
nodes: 7283  conflicts: 43  modelTime: 1714  solveTime: 27559  totalTime: 29293  modelSize: 72265  readTime: 20 size: 14