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