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