(1,17) (2,16) (3,9) (4,30) (5,21) (6,27) (7,23) (8,18) (10,28) (11,25) (13,15) (14,22) (20,24) (26,29) 
nodes: 3360  conflicts: 39  modelTime: 1722  solveTime: 19047  totalTime: 20788  modelSize: 72274  readTime: 19 size: 14