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