(1,21) (2,22) (3,28) (4,20) (5,29) (6,30) (7,24) (8,17) (9,19) (10,16) (11,26) (12,18) (14,27) (15,23) 
nodes: 7981  conflicts: 31  modelTime: 655  solveTime: 13661  totalTime: 14322  modelSize: 41293  readTime: 6 size: 14