(1,30) (2,21) (3,28) (4,25) (5,23) (8,26) (9,29) (10,20) (11,18) (13,19) (14,16) (15,17) 
nodes: 1067  conflicts: 45  modelTime: 660  solveTime: 1231  totalTime: 1897  modelSize: 41293  readTime: 6 size: 12