(1,28) (4,22) (5,25) (6,24) (7,23) (8,19) (10,16) (11,20) (13,27) (14,21) 
nodes: 891  conflicts: 94  modelTime: 662  solveTime: 767  totalTime: 1436  modelSize: 41300  readTime: 7 size: 10