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