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