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