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