(1,16) (2,17) (3,30) (4,21) (6,18) (7,26) (8,23) (9,28) (10,24) (12,19) (14,20) (15,27) 
nodes: 638  conflicts: 63  modelTime: 659  solveTime: 811  totalTime: 1477  modelSize: 41293  readTime: 7 size: 12