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