(1,18) (2,13) (3,22) (4,5) (6,8) (7,30) (11,27) (12,17) (14,23) (15,24) (25,28) (26,29) 
nodes: 6467  conflicts: 101  modelTime: 952  solveTime: 23951  totalTime: 24915  modelSize: 72266  readTime: 12 size: 12