(1,25) (2,7) (3,13) (4,20) (5,9) (6,18) (8,14) (10,28) (11,21) (12,15) (16,19) (17,24) (22,29) (26,27) 
nodes: 164022  conflicts: 37  modelTime: 1707  solveTime: 828660  totalTime: 830507  modelSize: 72265  readTime: 140 size: 14