(1,22) (2,12) (3,11) (4,30) (5,28) (6,24) (7,15) (8,14) (9,23) (10,21) (13,19) (16,17) (18,27) (20,25) (26,29) 
nodes: 10386  conflicts: 31  modelTime: 1038  solveTime: 51910  totalTime: 52959  modelSize: 72263  readTime: 11 size: 15