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