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