(1,3) (2,30) (4,9) (5,19) (6,11) (7,18) (8,25) (15,24) (16,27) (17,21) (20,23) (22,29) 
nodes: 2338  conflicts: 109  modelTime: 1713  solveTime: 12234  totalTime: 13968  modelSize: 72262  readTime: 21 size: 12