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