(1,21) (2,23) (4,20) (5,27) (6,18) (7,24) (9,16) (10,19) (11,28) (12,29) (13,22) 
nodes: 1013  conflicts: 48  modelTime: 659  solveTime: 1821  totalTime: 2487  modelSize: 41293  readTime: 7 size: 11