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