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