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