(1,23) (2,25) (3,16) (4,18) (5,17) (6,21) (7,24) (8,29) (9,30) (10,22) (11,26) (12,27) (13,20) (14,19) (15,28) 
nodes: 14503  conflicts: 13  modelTime: 679  solveTime: 36537  totalTime: 37220  modelSize: 41299  readTime: 4 size: 15