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