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