(1,17) (2,24) (5,27) (7,22) (8,26) (9,16) (11,25) (13,21) (14,19) (15,29) 
nodes: 858  conflicts: 84  modelTime: 665  solveTime: 718  totalTime: 1390  modelSize: 41300  readTime: 7 size: 10