(2,19) (3,24) (4,21) (7,29) (8,27) (10,28) (12,25) 
nodes: 784  conflicts: 96  modelTime: 669  solveTime: 1030  totalTime: 1706  modelSize: 41300  readTime: 7 size: 7