(1,28) (2,30) (3,24) (4,27) (5,25) (6,16) (8,19) (9,26) (10,29) (11,23) (12,21) (13,18) (14,20) (15,22) 
nodes: 64766  conflicts: 25  modelTime: 1193  solveTime: 202416  totalTime: 203619  modelSize: 41293  readTime: 10 size: 14