(1,19) (2,26) (3,29) (4,16) (5,22) (6,20) (7,25) (8,23) (9,17) (10,24) (12,30) (14,27) (15,21) 
nodes: 7023  conflicts: 23  modelTime: 673  solveTime: 11656  totalTime: 12335  modelSize: 41293  readTime: 6 size: 13