(1,17) (2,19) (3,27) (4,26) (5,30) (6,22) (8,21) (9,28) (10,29) (11,24) (13,18) (14,23) (15,16) 
nodes: 41467  conflicts: 35  modelTime: 658  solveTime: 97432  totalTime: 98096  modelSize: 41293  readTime: 6 size: 13