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