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