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