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