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