(2,18) (3,26) (4,25) (6,22) (7,23) (8,17) (9,19) (10,24) (11,28) (12,16) (13,21) (14,27) (15,29) 
nodes: 547  conflicts: 40  modelTime: 663  solveTime: 643  totalTime: 1312  modelSize: 41293  readTime: 6 size: 13