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