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