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