(1,22) (2,29) (3,20) (4,26) (5,30) (6,23) (7,21) (9,27) (11,19) (12,28) (13,17) (14,16) (15,18) 
nodes: 2271  conflicts: 34  modelTime: 655  solveTime: 3508  totalTime: 4169  modelSize: 41293  readTime: 6 size: 13