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