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