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