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