(1,26) (2,18) (3,22) (4,15) (5,30) (6,25) (7,16) (8,13) (11,29) (12,24) (14,19) (17,23) (27,28) 
nodes: 1098  conflicts: 110  modelTime: 946  solveTime: 4556  totalTime: 5513  modelSize: 72262  readTime: 11 size: 13