(1,28) (2,21) (3,27) (4,29) (6,16) (7,20) (8,24) (10,17) (11,25) (13,19) (14,23) (15,18) 
nodes: 2369  conflicts: 49  modelTime: 663  solveTime: 2898  totalTime: 3567  modelSize: 41293  readTime: 6 size: 12