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