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