(2,17) (3,6) (4,12) (5,22) (7,24) (8,29) (9,16) (11,30) (13,15) (14,27) (18,26) (19,25) (20,23) (21,28) 
nodes: 4151  conflicts: 47  modelTime: 1741  solveTime: 23633  totalTime: 25393  modelSize: 72265  readTime: 19 size: 14