(1,9) (2,16) (4,17) (5,19) (6,20) (8,24) (10,14) (11,30) (12,25) (15,27) (18,29) (21,23) (22,26) 
nodes: 5102  conflicts: 93  modelTime: 996  solveTime: 14909  totalTime: 15925  modelSize: 72263  readTime: 20 size: 13