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