(3,14) (4,21) (5,16) (6,9) (7,30) (8,15) (10,17) (11,13) (12,28) (18,24) (19,27) (20,22) (23,25) (26,29) 
nodes: 19090  conflicts: 83  modelTime: 940  solveTime: 62458  totalTime: 63410  modelSize: 72263  readTime: 12 size: 14