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