(1,17) (2,6) (3,16) (4,29) (7,27) (8,30) (9,12) (10,20) (11,18) (13,23) (14,25) (15,28) (19,26) (21,24) 
nodes: 58117  conflicts: 40  modelTime: 1620  solveTime: 289313  totalTime: 290948  modelSize: 72275  readTime: 15 size: 14