(1,17) (2,21) (3,18) (4,20) (5,30) (6,27) (9,28) (10,24) (11,16) (12,25) (13,26) (14,23) (15,22) 
nodes: 1706  conflicts: 48  modelTime: 1202  solveTime: 4350  totalTime: 5563  modelSize: 41298  readTime: 10 size: 13