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