(1,11) (2,6) (3,14) (4,8) (5,25) (7,28) (9,13) (10,21) (12,29) (15,17) (16,30) (18,26) (19,27) (20,23) 
nodes: 61967  conflicts: 33  modelTime: 1730  solveTime: 309637  totalTime: 311386  modelSize: 72262  readTime: 19 size: 14