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