(1,5) (3,17) (4,26) (6,23) (7,18) (8,27) (9,24) (11,13) (12,29) (14,16) (15,30) (19,28) (20,22) (21,25) 
nodes: 12813  conflicts: 43  modelTime: 1724  solveTime: 62327  totalTime: 64071  modelSize: 72263  readTime: 20 size: 14