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