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