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