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