(1,28) (2,25) (4,15) (5,30) (6,7) (8,11) (9,20) (10,22) (12,17) (13,27) (14,23) (16,19) (18,21) (24,29) 
nodes: 9379  conflicts: 45  modelTime: 1904  solveTime: 35857  totalTime: 37781  modelSize: 72263  readTime: 20 size: 14