(1,19) (2,28) (3,29) (4,27) (5,17) (6,26) (7,18) (8,25) (9,30) (10,23) (11,20) (12,16) (13,21) (14,22) (15,24) 
nodes: 9698  conflicts: 7  modelTime: 791  solveTime: 14278  totalTime: 15076  modelSize: 41293  readTime: 7 size: 15