(2,18) (3,17) (4,29) (6,27) (7,24) (8,16) (9,28) (10,19) (12,26) (14,21) (15,30) 
nodes: 2215  conflicts: 69  modelTime: 662  solveTime: 2869  totalTime: 3537  modelSize: 41293  readTime: 6 size: 11