(1,20) (2,13) (3,10) (4,23) (5,7) (8,19) (9,12) (14,29) (15,30) (21,25) (24,26) (27,28) 
nodes: 1709  conflicts: 97  modelTime: 1716  solveTime: 8839  totalTime: 10576  modelSize: 72262  readTime: 21 size: 12