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