(1,27) (2,19) (3,26) (4,20) (5,16) (6,28) (7,30) (9,24) (10,23) (11,18) (12,25) (13,29) (15,22) 
nodes: 14052  conflicts: 19  modelTime: 1188  solveTime: 48903  totalTime: 50101  modelSize: 41293  readTime: 9 size: 13