(1,20) (2,4) (3,24) (5,23) (6,10) (7,25) (8,11) (9,12) (13,19) (14,22) (15,29) (16,21) (17,30) (18,28) (26,27) 
nodes: 7991  conflicts: 36  modelTime: 1723  solveTime: 30097  totalTime: 31840  modelSize: 72265  readTime: 20 size: 15