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