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