(1,19) (2,23) (3,24) (4,28) (5,25) (6,18) (7,26) (8,30) (9,20) (12,22) (13,29) (14,16) (15,21) 
nodes: 6858  conflicts: 43  modelTime: 687  solveTime: 15917  totalTime: 16610  modelSize: 41293  readTime: 6 size: 13