(1,16) (2,21) (3,20) (4,29) (5,30) (6,23) (7,26) (8,24) (9,22) (10,18) (11,27) (12,28) (13,25) (15,17) 
nodes: 2777  conflicts: 37  modelTime: 972  solveTime: 7251  totalTime: 8233  modelSize: 41293  readTime: 10 size: 14