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