(1,25) (2,26) (3,24) (4,23) (5,27) (6,30) (7,28) (8,29) (9,17) (10,16) (11,20) (12,21) (14,22) 
nodes: 1814  conflicts: 53  modelTime: 977  solveTime: 3626  totalTime: 4612  modelSize: 41293  readTime: 9 size: 13