(2,18) (3,16) (4,26) (5,25) (6,29) (7,22) (9,23) (10,30) (11,28) (12,19) (13,27) (14,21) (15,24) 
nodes: 3616  conflicts: 27  modelTime: 658  solveTime: 6258  totalTime: 6923  modelSize: 41293  readTime: 7 size: 13