(1,11) (2,3) (4,30) (5,20) (6,17) (9,19) (10,27) (12,13) (14,18) (16,25) (22,23) (26,28) 
nodes: 939  conflicts: 115  modelTime: 940  solveTime: 4632  totalTime: 5584  modelSize: 72263  readTime: 12 size: 12