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