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