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