(1,26) (2,21) (3,18) (5,30) (6,27) (8,22) (9,28) (10,25) (11,24) (13,16) (15,23) 
nodes: 2458  conflicts: 53  modelTime: 659  solveTime: 3151  totalTime: 3816  modelSize: 41293  readTime: 6 size: 11