(2,9) (3,27) (4,7) (5,26) (8,18) (10,25) (11,30) (13,22) (14,29) (15,28) (16,17) (21,23) 
nodes: 2867  conflicts: 121  modelTime: 935  solveTime: 9639  totalTime: 10586  modelSize: 72262  readTime: 12 size: 12