(1,18) (2,30) (3,23) (4,19) (5,28) (6,27) (7,22) (8,21) (10,25) (11,24) (12,17) (13,16) (14,26) 
nodes: 28562  conflicts: 59  modelTime: 657  solveTime: 43265  totalTime: 43928  modelSize: 41298  readTime: 6 size: 13