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