(1,20) (2,25) (3,28) (4,19) (5,6) (7,13) (8,11) (9,17) (10,15) (12,16) (14,24) (18,22) (21,23) (27,29) 
nodes: 32194  conflicts: 35  modelTime: 1713  solveTime: 87821  totalTime: 89553  modelSize: 72263  readTime: 19 size: 14