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