(1,21) (2,27) (4,16) (5,29) (6,13) (7,25) (8,10) (9,11) (14,17) (15,23) (18,30) (19,24) (20,28) (22,26) 
nodes: 211  conflicts: 73  modelTime: 1139  solveTime: 2400  totalTime: 3551  modelSize: 72262  readTime: 12 size: 14