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