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