(1,23) (2,30) (3,17) (5,22) (6,24) (7,26) (8,29) (9,19) (10,16) (11,20) (12,21) (13,25) (14,27) (15,18) 
nodes: 25631  conflicts: 24  modelTime: 655  solveTime: 46989  totalTime: 47649  modelSize: 41293  readTime: 5 size: 14