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