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