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