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