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