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