(1,20) (2,19) (3,12) (4,5) (6,27) (7,16) (8,21) (9,10) (11,22) (13,23) (14,15) (17,25) (18,26) (24,29) (28,30) 
nodes: 5806  conflicts: 32  modelTime: 942  solveTime: 19355  totalTime: 20308  modelSize: 72262  readTime: 11 size: 15