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