(1,28) (2,20) (3,21) (4,24) (6,23) (7,17) (10,30) (12,25) (13,29) (14,18) (15,27) 
nodes: 1125  conflicts: 79  modelTime: 667  solveTime: 1194  totalTime: 1867  modelSize: 41300  readTime: 6 size: 11