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