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