(2,18) (4,28) (5,26) (6,29) (7,19) (8,24) (9,21) (10,16) (11,25) (12,23) (13,30) (14,27) (15,20) 
nodes: 15294  conflicts: 34  modelTime: 656  solveTime: 27415  totalTime: 28077  modelSize: 41293  readTime: 6 size: 13