(1,12) (2,21) (3,7) (4,27) (6,25) (9,11) (10,16) (14,22) (15,26) (18,24) (19,28) (20,23) 
nodes: 1430  conflicts: 114  modelTime: 1142  solveTime: 7668  totalTime: 8821  modelSize: 72262  readTime: 11 size: 12