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