(1,29) (2,19) (3,16) (5,20) (6,17) (7,25) (8,27) (9,21) (10,23) (12,18) (13,28) (14,30) (15,22) 
nodes: 44568  conflicts: 39  modelTime: 659  solveTime: 124577  totalTime: 125242  modelSize: 41293  readTime: 6 size: 13