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