(1,21) (2,17) (4,22) (5,24) (6,30) (7,26) (8,29) (9,16) (10,25) (11,19) (12,20) (13,28) (14,23) (15,27) 
nodes: 7641  conflicts: 37  modelTime: 655  solveTime: 11736  totalTime: 12398  modelSize: 41293  readTime: 7 size: 14