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