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