(1,17) (2,26) (3,28) (4,18) (5,29) (6,21) (7,23) (8,20) (9,16) (10,24) (11,25) (12,30) (13,19) 
nodes: 18158  conflicts: 48  modelTime: 657  solveTime: 29674  totalTime: 30338  modelSize: 41298  readTime: 7 size: 13