(2,20) (3,17) (4,25) (5,29) (6,7) (8,13) (9,21) (10,24) (11,28) (12,26) (14,19) (15,18) (16,27) (22,23) 
nodes: 17523  conflicts: 54  modelTime: 1662  solveTime: 54087  totalTime: 55769  modelSize: 72262  readTime: 20 size: 14