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