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