(1,17) (2,22) (3,29) (4,18) (5,16) (7,26) (10,21) (11,30) (12,27) (13,23) (15,28) 
nodes: 7242  conflicts: 57  modelTime: 658  solveTime: 11482  totalTime: 12147  modelSize: 41293  readTime: 6 size: 11