(1,17) (2,24) (3,28) (4,16) (5,26) (6,25) (7,22) (12,23) (13,21) (14,19) (15,18) 
nodes: 1227  conflicts: 77  modelTime: 658  solveTime: 1357  totalTime: 2022  modelSize: 41293  readTime: 6 size: 11