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