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