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