(1,25) (2,23) (3,17) (4,7) (5,29) (6,18) (8,14) (9,11) (10,13) (12,28) (15,21) (16,24) (19,27) (22,30) 
nodes: 64710  conflicts: 31  modelTime: 1712  solveTime: 179756  totalTime: 181487  modelSize: 72275  readTime: 19 size: 14