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