(1,7) (2,29) (3,26) (4,17) (6,19) (8,24) (9,27) (10,14) (12,21) (13,22) (16,28) (18,20) 
nodes: 2914  conflicts: 126  modelTime: 929  solveTime: 6987  totalTime: 7927  modelSize: 72262  readTime: 11 size: 12