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