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