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