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