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