(1,26) (3,27) (4,29) (5,21) (6,30) (7,25) (8,18) (9,28) (10,22) (11,19) (12,24) (14,23) 
nodes: 3281  conflicts: 44  modelTime: 656  solveTime: 5356  totalTime: 6019  modelSize: 41298  readTime: 7 size: 12