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