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