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