(1,21) (2,28) (3,13) (4,17) (5,24) (6,7) (8,20) (9,23) (10,27) (14,26) (15,22) (16,19) (18,29) (25,30) 
nodes: 1548  conflicts: 61  modelTime: 1725  solveTime: 9192  totalTime: 10937  modelSize: 72263  readTime: 20 size: 14