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