(1,23) (3,8) (4,16) (5,24) (6,28) (7,19) (9,26) (10,21) (12,18) (13,14) (15,27) (17,22) (20,30) 
nodes: 21398  conflicts: 81  modelTime: 1734  solveTime: 79372  totalTime: 81128  modelSize: 72262  readTime: 22 size: 13