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