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