(1,27) (2,10) (3,18) (4,11) (5,26) (6,13) (7,29) (8,30) (9,19) (12,17) (14,16) (20,23) (22,24) (25,28) 
nodes: 16326  conflicts: 77  modelTime: 981  solveTime: 47665  totalTime: 48700  modelSize: 72262  readTime: 53 size: 14