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