(2,26) (3,17) (4,27) (5,18) (8,21) (9,19) (10,24) (13,28) (14,30) (15,20) 
nodes: 883  conflicts: 78  modelTime: 667  solveTime: 1120  totalTime: 1794  modelSize: 41300  readTime: 7 size: 10