(1,27) (2,21) (3,16) (4,19) (5,22) (6,28) (7,17) (8,25) (9,20) (10,30) (11,23) (13,24) (15,29) 
nodes: 14421  conflicts: 44  modelTime: 658  solveTime: 23129  totalTime: 23793  modelSize: 41298  readTime: 6 size: 13