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