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