(1,11) (2,25) (4,13) (5,27) (6,7) (8,30) (9,21) (10,20) (12,14) (15,23) (16,26) (17,19) (22,24) (28,29) 
nodes: 29377  conflicts: 58  modelTime: 953  solveTime: 59781  totalTime: 60747  modelSize: 72266  readTime: 13 size: 14