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