(1,8) (2,7) (3,19) (4,12) (5,6) (9,30) (10,17) (13,21) (14,27) (15,29) (16,24) (18,23) (20,22) (26,28) 
nodes: 38123  conflicts: 75  modelTime: 937  solveTime: 74983  totalTime: 75932  modelSize: 72262  readTime: 11 size: 14