(2,18) (3,26) (4,27) (5,19) (6,20) (7,29) (8,21) (10,28) (11,23) (12,17) (13,24) (14,22) (15,25) 
nodes: 1047  conflicts: 75  modelTime: 667  solveTime: 746  totalTime: 1420  modelSize: 41293  readTime: 7 size: 13