(1,6) (2,17) (3,30) (4,12) (5,29) (7,20) (8,25) (9,28) (10,13) (11,16) (14,26) (15,23) (18,27) (19,21) (22,24) 
nodes: 110291  conflicts: 53  modelTime: 1679  solveTime: 458326  totalTime: 460016  modelSize: 72262  readTime: 11 size: 15