(1,25) (2,24) (4,30) (5,22) (6,20) (7,19) (9,26) (10,23) (11,27) (12,29) (13,16) (14,28) (15,18) 
nodes: 6276  conflicts: 30  modelTime: 658  solveTime: 11254  totalTime: 11918  modelSize: 41298  readTime: 6 size: 13