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