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