(1,19) (3,8) (4,18) (5,25) (6,24) (7,23) (9,13) (11,21) (12,20) (14,15) (16,27) (17,26) (22,28) (29,30) 
nodes: 1731  conflicts: 72  modelTime: 1268  solveTime: 6821  totalTime: 8100  modelSize: 72262  readTime: 11 size: 14