(1,7) (2,11) (3,23) (4,9) (5,14) (6,26) (8,28) (10,12) (15,20) (16,30) (17,21) (18,22) (24,25) (27,29) 
nodes: 2754  conflicts: 41  modelTime: 1724  solveTime: 15705  totalTime: 17449  modelSize: 72263  readTime: 20 size: 14