(1,28) (2,22) (3,23) (4,18) (5,26) (6,17) (7,30) (8,25) (10,19) (11,24) (12,16) (13,20) (14,21) (15,29) 
nodes: 5956  conflicts: 38  modelTime: 665  solveTime: 15926  totalTime: 16597  modelSize: 41293  readTime: 6 size: 14