(1,16) (2,25) (4,19) (5,29) (6,30) (7,22) (8,24) (9,27) (10,28) (11,18) (12,17) (13,20) (14,23) (15,21) 
nodes: 6624  conflicts: 36  modelTime: 779  solveTime: 16143  totalTime: 16929  modelSize: 41298  readTime: 7 size: 14