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