(1,25) (2,15) (3,16) (4,11) (5,19) (6,27) (7,14) (8,23) (9,22) (10,29) (17,26) (18,21) (24,28) 
nodes: 7153  conflicts: 76  modelTime: 1707  solveTime: 28286  totalTime: 30013  modelSize: 72262  readTime: 20 size: 13