(1,26) (3,5) (6,11) (7,22) (8,29) (10,18) (14,30) (17,21) (19,24) (20,25) (23,28) 
nodes: 3888  conflicts: 95  modelTime: 939  solveTime: 14028  totalTime: 14979  modelSize: 72262  readTime: 12 size: 11