(1,18) (2,26) (4,23) (5,17) (7,16) (8,21) (9,20) (12,19) (14,22) 
nodes: 916  conflicts: 93  modelTime: 662  solveTime: 769  totalTime: 1438  modelSize: 41300  readTime: 7 size: 9