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