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