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