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