(1,18) (2,16) (4,27) (6,28) (7,30) (8,29) (9,25) (11,22) (12,26) (13,17) (15,24) 
nodes: 869  conflicts: 78  modelTime: 663  solveTime: 1066  totalTime: 1736  modelSize: 41300  readTime: 7 size: 11