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