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