(3,21) (4,7) (6,12) (8,28) (9,25) (10,20) (13,24) (14,19) (15,22) (16,27) (17,30) (26,29) 
nodes: 170  conflicts: 70  modelTime: 977  solveTime: 2181  totalTime: 3169  modelSize: 72263  readTime: 11 size: 12