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