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