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