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