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