(1,17) (2,25) (3,19) (5,24) (6,21) (7,28) (8,23) (9,26) (10,16) (11,22) (12,30) (13,18) (15,27) 
nodes: 8178  conflicts: 52  modelTime: 692  solveTime: 20558  totalTime: 21257  modelSize: 41298  readTime: 7 size: 13