(1,25) (2,22) (3,21) (4,27) (5,28) (6,23) (7,20) (8,29) (9,30) (10,24) (11,19) (12,16) (13,17) (14,26) (15,18) 
nodes: 1870  conflicts: 37  modelTime: 656  solveTime: 2115  totalTime: 2778  modelSize: 41298  readTime: 7 size: 15