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