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