(1,11) (2,17) (3,10) (4,14) (5,16) (6,25) (7,24) (8,23) (9,21) (12,13) (15,20) (18,27) (19,30) (22,28) (26,29) 
nodes: 31206  conflicts: 29  modelTime: 1685  solveTime: 138334  totalTime: 140038  modelSize: 72263  readTime: 19 size: 15