(2,19) (4,30) (5,24) (7,16) (8,20) (9,29) (10,18) (11,28) (12,25) (13,21) (14,22) (15,23) 
nodes: 3442  conflicts: 71  modelTime: 656  solveTime: 2693  totalTime: 3356  modelSize: 41293  readTime: 7 size: 12