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