(1,19) (2,16) (3,27) (5,6) (7,14) (8,18) (9,24) (10,21) (11,25) (12,26) (13,15) (17,23) (20,28) 
nodes: 11929  conflicts: 97  modelTime: 2086  solveTime: 46697  totalTime: 48809  modelSize: 72263  readTime: 25 size: 13