(1,21) (2,30) (3,16) (5,22) (7,25) (8,26) (9,28) (10,29) (11,27) (12,18) (14,23) (15,20) 
nodes: 1434  conflicts: 61  modelTime: 656  solveTime: 1141  totalTime: 1804  modelSize: 41293  readTime: 7 size: 12