(1,27) (2,18) (3,19) (4,7) (5,17) (6,15) (8,21) (10,16) (11,13) (22,28) (24,29) (25,26) 
nodes: 5315  conflicts: 86  modelTime: 1545  solveTime: 20829  totalTime: 22395  modelSize: 72262  readTime: 21 size: 12