(1,24) (2,19) (3,18) (4,5) (6,22) (7,20) (8,21) (10,27) (11,13) (12,30) (14,17) (15,25) (16,28) (23,29) 
nodes: 34668  conflicts: 21  modelTime: 1628  solveTime: 141545  totalTime: 143192  modelSize: 72263  readTime: 19 size: 14