(1,14) (2,28) (3,17) (5,10) (6,23) (7,26) (8,13) (9,11) (12,22) (15,25) (16,18) (19,27) (20,21) (24,30) 
nodes: 29480  conflicts: 86  modelTime: 1609  solveTime: 134673  totalTime: 136298  modelSize: 72263  readTime: 16 size: 14