(1,16) (2,28) (3,22) (4,27) (5,17) (7,19) (8,21) (9,26) (10,30) (11,29) (12,23) (13,25) (15,24) 
nodes: 2500  conflicts: 47  modelTime: 662  solveTime: 3780  totalTime: 4449  modelSize: 41293  readTime: 7 size: 13