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