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