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