(1,26) (2,21) (3,22) (4,13) (5,14) (7,8) (9,10) (11,15) (12,23) (16,30) (17,29) (18,27) (19,28) (20,25) 
nodes: 7759  conflicts: 70  modelTime: 959  solveTime: 27909  totalTime: 28886  modelSize: 72262  readTime: 18 size: 14