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