(1,21) (2,22) (3,27) (4,18) (6,20) (7,16) (9,26) (10,28) (11,29) (12,23) (13,24) (14,17) (15,30) 
nodes: 12883  conflicts: 34  modelTime: 658  solveTime: 23266  totalTime: 23932  modelSize: 41298  readTime: 7 size: 13