(1,20) (2,27) (3,29) (6,21) (7,22) (8,24) (9,19) (11,18) (12,28) (13,26) (14,16) (15,17) 
nodes: 1540  conflicts: 56  modelTime: 659  solveTime: 1240  totalTime: 1906  modelSize: 41293  readTime: 7 size: 12