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