(1,19) (2,23) (3,20) (4,16) (6,30) (7,25) (8,29) (9,17) (11,18) (12,22) (13,28) (14,21) (15,24) 
nodes: 6793  conflicts: 24  modelTime: 660  solveTime: 12226  totalTime: 12892  modelSize: 41292  readTime: 6 size: 13