(1,18) (2,15) (3,28) (5,21) (7,17) (8,23) (9,27) (11,25) (12,30) (13,24) (16,29) (22,26) 
nodes: 4985  conflicts: 105  modelTime: 987  solveTime: 21649  totalTime: 22648  modelSize: 72263  readTime: 12 size: 12