(1,28) (2,3) (4,25) (5,17) (6,10) (7,12) (8,26) (9,16) (11,29) (13,22) (14,18) (15,24) (19,21) (20,23) 
nodes: 2348  conflicts: 67  modelTime: 1000  solveTime: 9829  totalTime: 10840  modelSize: 72262  readTime: 11 size: 14