(1,20) (2,11) (3,27) (4,22) (5,24) (6,14) (7,28) (8,10) (9,26) (12,25) (13,21) (15,17) (16,30) (19,23) 
nodes: 14188  conflicts: 42  modelTime: 1722  solveTime: 65310  totalTime: 67053  modelSize: 72266  readTime: 20 size: 14