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