(1,23) (2,26) (3,30) (4,12) (5,17) (6,20) (7,13) (8,22) (9,15) (10,29) (11,18) (14,28) (16,21) (19,27) (24,25) 
nodes: 21427  conflicts: 33  modelTime: 939  solveTime: 73325  totalTime: 74274  modelSize: 72263  readTime: 10 size: 15