(1,26) (2,19) (3,29) (4,25) (5,24) (6,27) (7,28) (8,23) (11,16) (12,17) (14,22) (15,18) 
nodes: 654  conflicts: 52  modelTime: 660  solveTime: 1218  totalTime: 1885  modelSize: 41293  readTime: 7 size: 12