(1,17) (2,22) (3,21) (4,27) (5,16) (6,26) (7,30) (8,29) (9,23) (10,20) (11,18) (12,28) (13,25) (14,24) (15,19) 
nodes: 1624  conflicts: 3  modelTime: 968  solveTime: 2800  totalTime: 3774  modelSize: 41298  readTime: 6 size: 15