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