(1,19) (3,18) (4,17) (5,23) (7,27) (8,28) (11,26) (13,30) (15,25) 
nodes: 306  conflicts: 97  modelTime: 667  solveTime: 491  totalTime: 1166  modelSize: 41300  readTime: 7 size: 9