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