(1,20) (2,25) (3,13) (4,19) (5,27) (6,14) (7,29) (11,18) (12,15) (16,28) (17,24) (21,23) (22,26) 
nodes: 662  conflicts: 70  modelTime: 1717  solveTime: 5085  totalTime: 6824  modelSize: 72263  readTime: 22 size: 13