(1,17) (2,16) (3,18) (4,21) (5,22) (6,23) (7,27) (8,25) (9,19) (10,29) (11,26) (12,28) (13,30) (14,20) (15,24) 
nodes: 1040  conflicts: 0  modelTime: 1165  solveTime: 1273  totalTime: 2444  modelSize: 41292  readTime: 6 size: 15