(1,28) (2,27) (5,25) (6,17) (8,20) (9,26) (10,30) (11,16) (12,29) (14,19) (15,21) 
nodes: 890  conflicts: 78  modelTime: 663  solveTime: 843  totalTime: 1527  modelSize: 41300  readTime: 21 size: 11