(1,21) (2,11) (3,17) (4,27) (5,6) (7,26) (8,14) (9,29) (10,13) (12,19) (15,24) (16,28) (18,30) (20,22) 
nodes: 2912  conflicts: 79  modelTime: 943  solveTime: 8692  totalTime: 9646  modelSize: 72262  readTime: 11 size: 14