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