(1,20) (2,19) (3,25) (4,18) (5,27) (6,21) (7,26) (9,29) (10,30) (11,23) (12,16) (13,17) (14,24) (15,28) 
nodes: 4352  conflicts: 33  modelTime: 659  solveTime: 6849  totalTime: 7514  modelSize: 41293  readTime: 6 size: 14