(3,28) (5,23) (6,16) (7,25) (8,20) (9,18) (11,27) (12,29) (13,24) (14,17) (15,30) 
nodes: 809  conflicts: 75  modelTime: 667  solveTime: 1033  totalTime: 1707  modelSize: 41300  readTime: 7 size: 11