(2,3) (4,29) (5,9) (6,20) (7,27) (8,28) (10,21) (11,12) (14,25) (15,26) (16,17) (18,24) (19,23) 
nodes: 764  conflicts: 63  modelTime: 937  solveTime: 3098  totalTime: 4046  modelSize: 72263  readTime: 11 size: 13