(1,26) (2,13) (3,24) (5,18) (6,21) (7,25) (10,17) (12,15) (14,23) (16,28) (19,29) (20,30) 
nodes: 5856  conflicts: 95  modelTime: 965  solveTime: 13525  totalTime: 14502  modelSize: 72262  readTime: 12 size: 12