(1,21) (2,20) (3,9) (4,10) (5,7) (6,27) (8,11) (12,19) (13,16) (14,30) (15,26) (17,23) (18,29) (22,28) 
nodes: 26188  conflicts: 54  modelTime: 1722  solveTime: 123318  totalTime: 125059  modelSize: 72265  readTime: 19 size: 14