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