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