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