(1,24) (2,20) (3,29) (4,30) (5,19) (6,16) (7,26) (9,27) (10,25) (11,18) (12,28) (13,23) (14,22) (15,21) 
nodes: 10402  conflicts: 33  modelTime: 654  solveTime: 19589  totalTime: 20368  modelSize: 41298  readTime: 125 size: 14